The dog eats the tiger. The dog needs the tiger. The dog visits the squirrel. The dog visits the tiger. The lion eats the squirrel. The squirrel eats the tiger. The squirrel is red. The squirrel needs the lion. The squirrel visits the dog. The tiger is big. All kind people are red. If someone visits the squirrel then they are young.
The squirrel does not need the tiger.
@0: The dog eats the tiger.[(triple1)] The dog needs the tiger.[(triple2)] The dog visits the squirrel.[(triple3)] The dog visits the tiger.[(triple4)] The lion eats the squirrel.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is red.[(triple7)] The squirrel needs the lion.[(triple8)] The squirrel visits the dog.[(triple9)] The tiger is big.[(triple10)] @1: The dog is young.[(((triple3) -> rule2))]