The cow eats the squirrel. The squirrel eats the cow. The tiger likes the cow. If something likes the tiger and it is nice then it eats the tiger. If something eats the cow then it likes the squirrel. If something visits the squirrel then the squirrel visits the cow. If the cow eats the tiger and the tiger visits the squirrel then the cow eats the squirrel. If something visits the tiger and it eats the tiger then it is blue. If something likes the squirrel then it visits the squirrel.
The squirrel visits the cow.
@0: The cow eats the squirrel.[(triple1)] The squirrel eats the cow.[(triple2)] The tiger likes the cow.[(triple3)] @1: The squirrel likes the squirrel.[(((triple2) -> rule2))] @2: The squirrel visits the squirrel.[(((((triple2) -> rule2)) -> rule6))] @3: The squirrel visits the cow.[(((((((triple2) -> rule2)) -> rule6)) -> rule3))]