The cow is nice. The cow needs the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel needs the cow. If something needs the cow then it chases the squirrel.
The cow does not chase the squirrel.
@0: The cow is nice.[(triple1)] The cow needs the squirrel.[(triple2)] The squirrel chases the cow.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The squirrel chases the squirrel.[(((triple10) -> rule1))]