The squirrel chases the tiger. The tiger chases the squirrel. The tiger sees the squirrel. If the squirrel is red then the squirrel is cold. If someone sees the squirrel and the squirrel is nice then they chase the tiger. If someone chases the tiger then they are nice.
The tiger needs the tiger.
@0: The squirrel chases the tiger.[(triple1)] The tiger chases the squirrel.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The squirrel is nice.[(((triple1) -> rule3))] @2: The tiger chases the tiger.[(((triple3 ((triple1) -> rule3)) -> rule2))] @3: The tiger is nice.[(((((triple3 ((triple1) -> rule3)) -> rule2)) -> rule3))]