The squirrel is blue. The squirrel sees the tiger. The tiger is blue. If the squirrel eats the tiger and the tiger is young then the tiger needs the squirrel. If the squirrel is blue and the squirrel sees the tiger then the tiger needs the squirrel.
The tiger does not need the tiger.
@0: The squirrel is blue.[(triple1)] The squirrel sees the tiger.[(triple2)] The tiger is blue.[(triple3)] @1: The tiger needs the squirrel.[(((triple1 triple2) -> rule2))]