The mouse visits the squirrel. The squirrel eats the mouse. If something eats the mouse and it is round then it chases the squirrel. If something visits the squirrel and it is round then it eats the mouse. If something visits the squirrel then it is round. If the mouse eats the squirrel then the squirrel is nice. If something chases the mouse then the mouse visits the squirrel. If something visits the squirrel then it chases the mouse.
The mouse chases the squirrel.
@0: The mouse visits the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] @1: The mouse chases the mouse.[(((triple1) -> rule6))] The mouse is round.[(((triple1) -> rule3))] @2: The mouse eats the mouse.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: The mouse chases the squirrel.[(((((triple1 ((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1))]