The cow is rough. The cow visits the squirrel. The mouse chases the cow. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse visits the cow. The squirrel chases the cow. The squirrel eats the mouse. If something eats the cow then it chases the squirrel. If something is kind then it eats the cow. If the cow chases the squirrel then the squirrel visits the cow. If something eats the cow then it is kind. If something eats the mouse then it visits the squirrel. If something visits the cow and the cow is rough then the cow is kind. If the squirrel visits the mouse and the mouse visits the squirrel then the mouse is big. If something visits the cow and the cow visits the mouse then the cow eats the mouse.
The cow does not chase the squirrel.
@0: The cow is rough.[(triple1)] The cow visits the squirrel.[(triple2)] The mouse chases the cow.[(triple3)] The mouse eats the cow.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the cow.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel eats the mouse.[(triple10)] @1: The cow is kind.[(((triple8 triple1) -> rule6))] The mouse chases the squirrel.[(((triple4) -> rule1))] The mouse is kind.[(((triple4) -> rule4))] The squirrel visits the squirrel.[(((triple10) -> rule5))] @2: The cow eats the cow.[(((((triple8 triple1) -> rule6)) -> rule2))] @3: The cow chases the squirrel.[(((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1))] @4: The squirrel visits the cow.[(((((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1)) -> rule3))]