def test_no_contradiction_of_predicate(self): more_cows = Comparison( content="the number of cows $person owned was", sign=">", expression=10, ) no_cows = Predicate(content="the number of cows $person owned was", truth=False) assert not more_cows.contradicts(no_cows) assert not no_cows.contradicts(more_cows)
def test_comparison_implies_predicate_false(self): distance = Comparison( content="the distance between $place1 and $place2 was", sign=">", expression="20 miles", ) predicate = Predicate(content="the distance between $place1 and $place2 was") assert not distance.implies(predicate) assert not distance.contradicts(predicate) assert not predicate.contradicts(distance)
def test_predicate_does_not_contradict(self, make_comparison): irrelevant = Predicate(content="things happened") assert not irrelevant.contradicts(make_comparison["less"])