The cow is green. The cow needs the tiger. The cow does not visit the tiger. The mouse is nice. The mouse does not visit the tiger. The tiger needs the cow. The tiger visits the mouse. If something eats the tiger and the tiger does not need the mouse then it eats the mouse. If something eats the mouse then it eats the tiger. If the mouse visits the cow then the cow eats the mouse.
The mouse needs the mouse.
@0: The cow does not visit the tiger.[(triple3)] The cow is green.[(triple1)] The cow needs the tiger.[(triple2)] The mouse does not visit the tiger.[(triple5)] The mouse is nice.[(triple4)] The tiger needs the cow.[(triple6)] The tiger visits the mouse.[(triple7)]