The cow chases the mouse. The cow chases the squirrel. The cow is kind. The cow is round. The mouse is green. The squirrel chases the mouse. The squirrel is round. If the cow chases the squirrel then the squirrel sees the cow. If something needs the cow and the cow sees the squirrel then it chases the squirrel. If the cow sees the mouse and the mouse chases the squirrel then the squirrel chases the cow. If the squirrel needs the cow then the cow is green. If something sees the mouse and the mouse needs the cow then it chases the cow. If something needs the squirrel then it is round. If something needs the mouse then it is kind. If something is round and it needs the cow then it chases the cow.
The mouse is not green.
@0: The cow chases the mouse.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow is round.[(triple4)] The mouse is green.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is round.[(triple7)] @1: The squirrel sees the cow.[(((triple2) -> rule1))]