The mouse is young. The squirrel is blue. The squirrel visits the mouse. If something visits the mouse and it is young then the mouse visits the squirrel. If something visits the squirrel and it chases the mouse then it sees the squirrel. If something visits the mouse and the mouse chases the squirrel then it is young. If something is blue and it chases the mouse then the mouse is round. If something chases the mouse and the mouse is rough then it is nice. If something is blue then it chases the mouse. If the mouse is round then the mouse sees the squirrel. If the squirrel chases the mouse then the squirrel sees the mouse.
The squirrel is blue.
@0: The mouse is young.[(triple1)] The squirrel is blue.[(triple2)] The squirrel visits the mouse.[(triple3)] @1: The squirrel chases the mouse.[(((triple2) -> rule6))] @2: The mouse is round.[(((triple2 ((triple2) -> rule6)) -> rule4))] The squirrel sees the mouse.[(((((triple2) -> rule6)) -> rule8))] @3: The mouse sees the squirrel.[(((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule7))]