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