The mouse sees the squirrel. The squirrel is kind. The squirrel visits the mouse. If the mouse sees the squirrel then the mouse is rough. If something is rough then it eats the mouse. If the mouse eats the squirrel then the mouse sees the squirrel. If something eats the mouse and the mouse sees the squirrel then it sees the mouse. If the squirrel visits the mouse and the squirrel eats the mouse then the squirrel is kind. If something visits the squirrel and the squirrel sees the mouse then the squirrel is blue.
The mouse does not eat the mouse.
@0: The mouse sees the squirrel.[(triple1)] The squirrel is kind.[(triple2)] The squirrel visits the mouse.[(triple3)] @1: The mouse is rough.[(((triple1) -> rule1))] @2: The mouse eats the mouse.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse sees the mouse.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule4))]