The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle visits the mouse. The cat is kind. The cat is nice. The cat visits the cow. The cat visits the mouse. The cow chases the bald eagle. The cow is nice. The cow needs the mouse. The cow visits the cat. The mouse chases the cat. If something needs the mouse and it is nice then it chases the mouse.
The mouse does not chase the mouse.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle visits the mouse.[(triple6)] The cat is kind.[(triple7)] The cat is nice.[(triple8)] The cat visits the cow.[(triple9)] The cat visits the mouse.[(triple10)] The cow chases the bald eagle.[(triple11)] The cow is nice.[(triple12)] The cow needs the mouse.[(triple13)] The cow visits the cat.[(triple14)] The mouse chases the cat.[(triple15)] @1: The cow chases the mouse.[(((triple13 triple12) -> rule1))]