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