The cow visits the tiger. The mouse eats the cow. The squirrel is rough. The tiger eats the squirrel. If something needs the mouse and it does not visit the tiger then the tiger visits the mouse. If something visits the cow then the cow is nice. If the squirrel eats the cow then the cow needs the mouse. If something eats the mouse then it does not need the squirrel. If something eats the squirrel then the squirrel eats the tiger. If something needs the squirrel then it needs the mouse.
The tiger eats the squirrel.
@0: The cow visits the tiger.[(triple1)] The mouse eats the cow.[(triple2)] The squirrel is rough.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The squirrel eats the tiger.[(((triple4) -> rule5))]