The cat needs the cow. The cow needs the tiger. The mouse eats the cow. The tiger sees the mouse. If something eats the mouse then it sees the cat. If something needs the tiger and it sees the tiger then the tiger eats the cow. If something eats the cat then it sees the mouse.
The cat does not see the cat.
@0: The cat needs the cow.[(triple1)] The cow needs the tiger.[(triple2)] The mouse eats the cow.[(triple3)] The tiger sees the mouse.[(triple4)]