print "test satisfaitConditions"
faits=[['a', 'and', 'b'],['b', 'and', 'b']]
print satisfaitConditions([['?x', 'and','?y'],['?x', 'and','?x']],{'?y':'b'})

faits=[['a', 'and', 'b'],['b', 'and', 'b']]
print satisfaitConditions([['?z', 'and','?y'],['?x', 'and','?z']],{'?y':'b'})

faits=[['a', 'and', 'b'],['b', 'and', 'c']]
print satisfaitConditions([['?x', 'and','?y'],['?x', 'and','?x']],{'?y':'b'})