The cow is blue. The cow is round. The cow needs the mouse. The cow visits the mouse. The mouse chases the cow. The squirrel is round. The squirrel visits the cow. If the mouse visits the cow then the mouse needs the squirrel. If something visits the cow then it chases the squirrel. If something needs the mouse then it visits the squirrel. If something is red and it chases the mouse then the mouse visits the squirrel. If something is red then it is kind. If something is blue and big then it needs the cow. If the squirrel needs the mouse then the mouse is round. If something visits the cow and the cow needs the mouse then it chases the cow.
The mouse does not chase the squirrel.
@0: The cow is blue.[(triple1)] The cow is round.[(triple2)] The cow needs the mouse.[(triple3)] The cow visits the mouse.[(triple4)] The mouse chases the cow.[(triple5)] The squirrel is round.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The cow visits the squirrel.[(((triple3) -> rule3))] The squirrel chases the cow.[(((triple7 triple3) -> rule8))] The squirrel chases the squirrel.[(((triple7) -> rule2))]