The mouse needs the tiger. The rabbit visits the tiger. The squirrel needs the mouse. The tiger needs the squirrel. If the squirrel is not kind then the squirrel needs the tiger. If something needs the rabbit and the rabbit is blue then the rabbit does not need the tiger. If something chases the tiger and it is kind then the tiger visits the squirrel. If something chases the rabbit and it needs the rabbit then the rabbit visits the tiger. If something needs the tiger and the tiger visits the rabbit then it needs the mouse. If something chases the tiger and it does not visit the tiger then the tiger chases the mouse.
The tiger does not need the mouse.
@0: The mouse needs the tiger.[(triple1)] The rabbit visits the tiger.[(triple2)] The squirrel needs the mouse.[(triple3)] The tiger needs the squirrel.[(triple4)]