The cow eats the dog. The cow is blue. The cow is round. The cow is young. The cow needs the dog. The dog eats the tiger. The dog is green. The dog is round. The dog needs the squirrel. The dog visits the cow. The dog visits the tiger. The squirrel is blue. The squirrel is round. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is big. If something needs the dog and the dog needs the cow then the dog eats the squirrel. If something visits the dog and it eats the tiger then the tiger visits the squirrel.
The tiger does not visit the squirrel.
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow needs the dog.[(triple5)] The dog eats the tiger.[(triple6)] The dog is green.[(triple7)] The dog is round.[(triple8)] The dog needs the squirrel.[(triple9)] The dog visits the cow.[(triple10)] The dog visits the tiger.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the tiger.[(triple14)] The squirrel visits the tiger.[(triple15)] The tiger is big.[(triple16)]