The cow does not eat the dog. The cow eats the lion. The cow needs the dog. The cow needs the mouse. The cow does not visit the dog. The cow visits the mouse. The dog is big. The dog needs the cow. The dog needs the lion. The dog visits the cow. The dog visits the lion. The lion eats the cow. The lion eats the mouse. The lion needs the mouse. The mouse eats the lion. The mouse is young. If someone needs the mouse and the mouse eats the cow then the cow is not red. If someone is green and young then they do not need the cow.
The dog does not visit the dog.
@0: The cow does not eat the dog.[(triple1)] The cow does not visit the dog.[(triple5)] The cow eats the lion.[(triple2)] The cow needs the dog.[(triple3)] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple6)] The dog is big.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the lion.[(triple9)] The dog visits the cow.[(triple10)] The dog visits the lion.[(triple11)] The lion eats the cow.[(triple12)] The lion eats the mouse.[(triple13)] The lion needs the mouse.[(triple14)] The mouse eats the lion.[(triple15)] The mouse is young.[(triple16)]