The cow is rough. The cow is young. The cow likes the squirrel. The cow visits the squirrel. The squirrel likes the cow. The squirrel needs the cow. The tiger is nice. The tiger is rough. The tiger likes the squirrel. The tiger needs the cow. If something is big then it needs the cow. If something visits the cow and it is rough then the cow visits the tiger. If something likes the squirrel and it is young then the squirrel is not rough.
The cow does not visit the tiger.
@0: The cow is rough.[(triple1)] The cow is young.[(triple2)] The cow likes the squirrel.[(triple3)] The cow visits the squirrel.[(triple4)] The squirrel likes the cow.[(triple5)] The squirrel needs the cow.[(triple6)] The tiger is nice.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger needs the cow.[(triple10)] @1: The squirrel is not rough.[(((triple3 triple2) -> rule3))]