The cow is rough. The cow visits the tiger. The mouse visits the cow. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel is nice. The squirrel needs the cow. The squirrel needs the mouse. The squirrel visits the mouse. The tiger eats the squirrel. If something needs the tiger then it visits the mouse. If something visits the cow then it visits the squirrel. If something visits the tiger then the tiger visits the cow.
The cow eats the squirrel.
@0: The cow is rough.[(triple1)] The cow visits the tiger.[(triple2)] The mouse visits the cow.[(triple3)] The squirrel eats the mouse.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel is nice.[(triple6)] The squirrel needs the cow.[(triple7)] The squirrel needs the mouse.[(triple8)] The squirrel visits the mouse.[(triple9)] The tiger eats the squirrel.[(triple10)] @1: The mouse visits the squirrel.[(((triple3) -> rule2))] The tiger visits the cow.[(((triple2) -> rule3))] @2: The tiger visits the squirrel.[(((((triple2) -> rule3)) -> rule2))]