The bald eagle needs the mouse. The bald eagle visits the mouse. The cow chases the squirrel. The cow is nice. The mouse chases the bald eagle. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel needs the mouse. The squirrel visits the bald eagle. The squirrel visits the cow. If something is big then it needs the mouse. If something needs the squirrel and the squirrel visits the cow then the cow chases the bald eagle. If something visits the mouse then it needs the cow.
The squirrel does not visit the cow.
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow chases the squirrel.[(triple3)] The cow is nice.[(triple4)] The mouse chases the bald eagle.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel needs the mouse.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The bald eagle needs the cow.[(((triple2) -> rule3))]