The cow chases the mouse. The mouse is blue. The squirrel does not see the mouse. If something is nice and it does not eat the mouse then the mouse sees the cow. If something sees the cow and the cow is red then it eats the squirrel. If something sees the cow then the cow sees the mouse. If something is nice then it sees the cow. If something is round then it chases the squirrel. All blue things are nice.
The mouse does not see the cow.
@0: The cow chases the mouse.[(triple1)] The mouse is blue.[(triple2)] The squirrel does not see the mouse.[(triple3)] @1: The mouse is nice.[(((triple2) -> rule6))] @2: The mouse sees the cow.[(((((triple2) -> rule6)) -> rule4))] @3: The cow sees the mouse.[(((((((triple2) -> rule6)) -> rule4)) -> rule3))]