The bear needs the tiger. The squirrel chases the tiger. The tiger sees the squirrel. If something sees the tiger and the tiger does not need the squirrel then the squirrel needs the tiger. If something sees the tiger and it is not young then the tiger is cold. If something sees the tiger then it chases the tiger. If something needs the squirrel then it does not chase the squirrel. If something needs the tiger then it does not see the tiger. If something is cold and it chases the tiger then the tiger is red.
The squirrel sees the tiger.
@0: The bear needs the tiger.[(triple1)] The squirrel chases the tiger.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The bear does not see the tiger.[(((triple1) -> rule5))]