The dog eats the squirrel. The dog is round. The dog is young. The dog visits the tiger. The squirrel likes the dog. The tiger is young. The tiger visits the dog. If something visits the tiger and it visits the dog then it likes the tiger. If something likes the squirrel and it visits the dog then it is red. If something likes the dog and it visits the squirrel then it is young.
The dog does not like the tiger.
@0: The dog eats the squirrel.[(triple1)] The dog is round.[(triple2)] The dog is young.[(triple3)] The dog visits the tiger.[(triple4)] The squirrel likes the dog.[(triple5)] The tiger is young.[(triple6)] The tiger visits the dog.[(triple7)]