The mouse is red. The squirrel eats the tiger. The tiger needs the mouse. If the squirrel eats the tiger then the squirrel eats the mouse. If something eats the mouse then it visits the squirrel. If something eats the tiger and the tiger eats the mouse then the mouse needs the tiger. If something eats the squirrel and the squirrel is young then it needs the squirrel. If the tiger needs the mouse then the mouse visits the squirrel. If something is young and it needs the squirrel then it eats the mouse.
The squirrel does not eat the tiger.
@0: The mouse is red.[(triple1)] The squirrel eats the tiger.[(triple2)] The tiger needs the mouse.[(triple3)] @1: The mouse visits the squirrel.[(((triple3) -> rule5))] The squirrel eats the mouse.[(((triple2) -> rule1))] @2: The squirrel visits the squirrel.[(((((triple2) -> rule1)) -> rule2))]