The bald eagle does not like the mouse. The cat chases the bald eagle. The cat chases the cow. The cat chases the mouse. The cat is round. The cat does not need the bald eagle. The cat needs the cow. The cow chases the cat. The cow is round. The cow needs the bald eagle. The cow does not need the cat. The mouse chases the bald eagle. The mouse is nice. The mouse is not young. The mouse needs the cat. If something chases the cow and it does not need the mouse then the cow is not big. If something needs the bald eagle then it does not chase the bald eagle. If something needs the bald eagle and the bald eagle chases the mouse then the mouse likes the cat. If something chases the cat and it is nice then it likes the cow. If the cat is not big and the cat does not need the cow then the cow does not like the cat. If something is young and it likes the mouse then it likes the bald eagle.
The cow chases the mouse.
@0: The bald eagle does not like the mouse.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat chases the cow.[(triple3)] The cat chases the mouse.[(triple4)] The cat does not need the bald eagle.[(triple6)] The cat is round.[(triple5)] The cat needs the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow does not need the cat.[(triple11)] The cow is round.[(triple9)] The cow needs the bald eagle.[(triple10)] The mouse chases the bald eagle.[(triple12)] The mouse is nice.[(triple13)] The mouse is not young.[(triple14)] The mouse needs the cat.[(triple15)] @1: The cow does not chase the bald eagle.[(((triple10) -> rule2))]