The cow eats the squirrel. The cow needs the squirrel. The cow visits the squirrel. The mouse is big. The mouse is red. The mouse needs the squirrel. The squirrel eats the cow. The squirrel is cold. The squirrel needs the mouse. The squirrel visits the cow. If someone needs the mouse then they are kind.
The squirrel does not visit the cow.
@0: The cow eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The cow visits the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse is red.[(triple5)] The mouse needs the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is cold.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The squirrel is kind.[(((triple9) -> rule1))]