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