The mouse eats the squirrel. The squirrel sees the mouse. If the squirrel likes the mouse then the mouse sees the squirrel. If something likes the squirrel and the squirrel sees the mouse then the squirrel likes the mouse. If something eats the squirrel and it is kind then the squirrel sees the mouse. If something sees the mouse then the mouse likes the squirrel. If something eats the squirrel then it is blue. If something likes the squirrel and the squirrel is nice then the squirrel likes the mouse.
The mouse is nice.
@0: The mouse eats the squirrel.[(triple1)] The squirrel sees the mouse.[(triple2)] @1: The mouse is blue.[(((triple1) -> rule5))] The mouse likes the squirrel.[(((triple2) -> rule4))] @2: The squirrel likes the mouse.[(((((triple2) -> rule4) triple2) -> rule2))] @3: The mouse sees the squirrel.[(((((((triple2) -> rule4) triple2) -> rule2)) -> rule1))]