The cow chases the squirrel. The cow eats the mouse. The cow is cold. The cow likes the squirrel. The mouse chases the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is green. The mouse is kind. The mouse is round. The squirrel eats the mouse. The squirrel is kind. The squirrel is round. The squirrel likes the cow. The squirrel likes the mouse. If someone chases the mouse then the mouse likes the squirrel. If someone is cold then they chase the cow. If someone eats the squirrel then the squirrel eats the cow. If someone chases the cow then they are nice. If the squirrel chases the mouse then the mouse likes the squirrel. If someone eats the cow then the cow eats the mouse. If someone likes the squirrel and they chase the cow then the squirrel chases the cow. If someone chases the mouse and they are cold then they like the mouse.
The cow does not eat the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow eats the mouse.[(triple2 OR ((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] The cow is cold.[(triple3)] The cow likes the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse eats the cow.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse is round.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel likes the mouse.[(triple15)] @1: The cow chases the cow.[(((triple3) -> rule2))] The squirrel eats the cow.[(((triple7) -> rule3))] @2: The cow is nice.[(((((triple3) -> rule2)) -> rule4))] The squirrel chases the cow.[(((triple4 ((triple3) -> rule2)) -> rule7))] @3: The squirrel is nice.[(((((triple4 ((triple3) -> rule2)) -> rule7)) -> rule4))]