The squirrel sees the tiger. The tiger needs the squirrel. The tiger sees the squirrel. If someone needs the tiger and they chase the squirrel then they chase the tiger. If someone sees the squirrel and the squirrel sees the tiger then they are rough. If someone is red then they are cold. If someone chases the tiger then they chase the squirrel. If someone is rough then they chase the tiger. If the tiger chases the squirrel and the tiger is round then the squirrel is cold. If someone is big then they need the tiger. If someone sees the tiger then they are red.
The squirrel is not red.
@0: The squirrel sees the tiger.[(triple1)] The tiger needs the squirrel.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule8))] The tiger is rough.[(((triple3 triple1) -> rule2))] @2: The squirrel is cold.[(((((triple1) -> rule8)) -> rule3))] The tiger chases the tiger.[(((((triple3 triple1) -> rule2)) -> rule5))] @3: The tiger chases the squirrel.[(((((((triple3 triple1) -> rule2)) -> rule5)) -> rule4))]