The cow eats the tiger. The cow is nice. The cow likes the squirrel. The cow needs the tiger. The squirrel eats the cow. The squirrel is blue. The squirrel likes the cow. The squirrel likes the tiger. The squirrel needs the tiger. The tiger needs the cow. If something eats the squirrel then the squirrel is young. If something needs the cow and the cow needs the tiger then the tiger is blue.
The cow likes the squirrel.
@0: The cow eats the tiger.[(triple1)] The cow is nice.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the tiger.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel is blue.[(triple6)] The squirrel likes the cow.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger needs the cow.[(triple10)] @1: The tiger is blue.[(((triple10 triple4) -> rule2))]