The bald eagle chases the cow. The bald eagle is not green. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle needs the squirrel. The cat chases the bald eagle. The cat needs the squirrel. The cow is not big. The cow is young. The cow likes the cat. The cow needs the cat. The cow does not need the squirrel. The squirrel does not chase the bald eagle. The squirrel likes the cow. The squirrel does not need the bald eagle. The squirrel needs the cow. If something chases the cat then it chases the bald eagle. If something needs the bald eagle then it chases the cow. If the bald eagle needs the cat then the bald eagle is big. If something is big then it chases the cat. If something chases the squirrel and the squirrel chases the cow then the squirrel does not chase the cat. If something is big then it does not like the cow. If something needs the cat and it is not green then the cat likes the squirrel. If something likes the bald eagle and the bald eagle does not like the cow then the bald eagle needs the cow.
The cow does not chase the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat needs the squirrel.[(triple7)] The cow does not need the squirrel.[(triple12)] The cow is not big.[(triple8)] The cow is young.[(triple9)] The cow likes the cat.[(triple10)] The cow needs the cat.[(triple11)] The squirrel does not chase the bald eagle.[(triple13)] The squirrel does not need the bald eagle.[(triple15)] The squirrel likes the cow.[(triple14)] The squirrel needs the cow.[(triple16)] @1: The bald eagle is big.[(((triple3) -> rule3))] The cat likes the squirrel.[(((triple3 triple2) -> rule7))] @2: The bald eagle chases the cat.[(((((triple3) -> rule3)) -> rule4))] The bald eagle does not like the cow.[(((((triple3) -> rule3)) -> rule6))] @3: The bald eagle chases the bald eagle.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]