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