The cat eats the cow. The cow visits the squirrel. The mouse is not blue. The mouse visits the cat. The squirrel eats the mouse. The squirrel is not rough. The squirrel visits the cow. If something needs the cat then the cat visits the squirrel. If the cow does not visit the cat and the cat does not visit the cow then the cat is round. If the cow visits the mouse and the cat does not visit the cow then the cat is not blue. If something eats the mouse and it needs the mouse then it needs the squirrel. If something eats the mouse then it is not kind. If something is blue and not big then it needs the cat. If something needs the cow and the cow eats the mouse then the mouse needs the cat. If the cat eats the cow and the cow eats the cat then the cow needs the cat.
The cow visits the squirrel.
@0: The cat eats the cow.[(triple1)] The cow visits the squirrel.[(triple2)] The mouse is not blue.[(triple3)] The mouse visits the cat.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is not rough.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The squirrel is not kind.[(((triple5) -> rule5))]