The cow needs the mouse. The cow visits the squirrel. The lion does not see the mouse. The lion visits the squirrel. The mouse needs the cow. The squirrel is cold. The squirrel is not kind. The squirrel sees the cow. The squirrel sees the mouse. The squirrel visits the cow. If something is kind then it visits the cow. If something needs the cow and the cow needs the lion then the lion needs the mouse. If something visits the squirrel and it is not cold then the squirrel is rough. If the squirrel is not kind and the squirrel does not see the lion then the squirrel is rough. If something sees the cow then the cow sees the mouse. If something visits the cow and it does not visit the lion then the lion sees the cow. If something is rough then it sees the mouse. If something sees the squirrel and the squirrel does not need the cow then it does not visit the mouse.
The squirrel sees the cow.
@0: The cow needs the mouse.[(triple1)] The cow visits the squirrel.[(triple2)] The lion does not see the mouse.[(triple3)] The lion visits the squirrel.[(triple4)] The mouse needs the cow.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is not kind.[(triple7)] The squirrel sees the cow.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow sees the mouse.[(((triple8) -> rule5))]