The mouse chases the squirrel. The squirrel does not chase the mouse. The squirrel sees the mouse. If something visits the mouse then the mouse is not nice. If something is nice and it chases the mouse then the mouse is big. If the mouse is blue then the mouse is green. If the mouse is blue then the mouse is not green. If something chases the squirrel then the squirrel is green. If something is blue then it does not chase the squirrel. If something visits the squirrel and it is not nice then it is blue. If something is green then it is blue.
The squirrel is not green.
@0: The mouse chases the squirrel.[(triple1)] The squirrel does not chase the mouse.[(triple2)] The squirrel sees the mouse.[(triple3)] @1: The squirrel is green.[(((triple1) -> rule5))] @2: The squirrel is blue.[(((((triple1) -> rule5)) -> rule8))] @3: The squirrel does not chase the squirrel.[(((((((triple1) -> rule5)) -> rule8)) -> rule6))]