The dog is rough. The squirrel chases the dog. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel visits the dog. The tiger chases the dog. The tiger eats the squirrel. The tiger is blue. The tiger is rough. If something is young then it visits the tiger.
The tiger does not visit the tiger.
@0: The dog is rough.[(triple1)] The squirrel chases the dog.[(triple2)] The squirrel eats the dog.[(triple3)] The squirrel eats the tiger.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is rough.[(triple6)] The squirrel is young.[(triple7)] The squirrel visits the dog.[(triple8)] The tiger chases the dog.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is blue.[(triple11)] The tiger is rough.[(triple12)] @1: The squirrel visits the tiger.[(((triple7) -> rule1))]