The cat needs the tiger. The mouse eats the squirrel. The squirrel eats the cat. The tiger needs the mouse. If the cat is blue and the cat needs the squirrel then the cat eats the tiger.
The cat does not eat the tiger.
@0: The cat needs the tiger.[(triple1)] The mouse eats the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] The tiger needs the mouse.[(triple4)]