The cow eats the mouse. The cow is not blue. The cow visits the mouse. The dog eats the cow. The dog is kind. The mouse eats the squirrel. The mouse is kind. The squirrel eats the cow. The squirrel is round. The squirrel visits the cow. If someone is young and not big then they do not visit the squirrel. If someone visits the mouse and they are not blue then the mouse visits the cow. If someone visits the cow and the cow chases the mouse then they chase the cow. If someone chases the mouse then the mouse eats the cow. If someone eats the cow then the cow visits the dog. If someone eats the cow then they chase the mouse. If the cow eats the mouse and the cow is not young then the mouse is round. If someone chases the cow and they do not chase the mouse then the mouse is kind.
The mouse does not chase the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is not blue.[(triple2)] The cow visits the mouse.[(triple3)] The dog eats the cow.[(triple4)] The dog is kind.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is kind.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is round.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow visits the dog.[(((triple4) -> rule5) OR ((triple8) -> rule5) OR ((((((triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple8) -> rule6)) -> rule4)) -> rule5))] The dog chases the mouse.[(((triple4) -> rule6))] The mouse visits the cow.[(((triple3 triple2) -> rule2))] The squirrel chases the mouse.[(((triple8) -> rule6))] @2: The mouse eats the cow.[(((((triple4) -> rule6)) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] @3: The mouse chases the mouse.[(((((((triple4) -> rule6)) -> rule4)) -> rule6) OR ((((((triple8) -> rule6)) -> rule4)) -> rule6))]