The cow eats the mouse. The cow is nice. The cow needs the mouse. The cow needs the squirrel. The cow does not see the squirrel. The dog does not eat the cow. The dog sees the cow. The dog sees the squirrel. The mouse is not cold. The mouse needs the cow. The mouse sees the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is rough. The squirrel does not need the cow. The squirrel does not see the mouse. If something is round and it needs the cow then the cow is cold. If something needs the cow then it is not nice. If something is round and cold then it does not see the mouse.
The cow is not cold.
@0: The cow does not see the squirrel.[(triple5)] The cow eats the mouse.[(triple1)] The cow is nice.[(triple2)] The cow needs the mouse.[(triple3)] The cow needs the squirrel.[(triple4)] The dog does not eat the cow.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the squirrel.[(triple8)] The mouse is not cold.[(triple9)] The mouse needs the cow.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel does not need the cow.[(triple15)] The squirrel does not see the mouse.[(triple16)] The squirrel eats the dog.[(triple12)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] @1: The mouse is not nice.[(((triple10) -> rule2))]