The squirrel is big. The tiger chases the squirrel. If something needs the tiger and the tiger eats the squirrel then it needs the squirrel. If something needs the tiger and the tiger chases the squirrel then the tiger eats the squirrel. If something is big then it needs the tiger.
The tiger needs the squirrel.
@0: The squirrel is big.[(triple1)] The tiger chases the squirrel.[(triple2)] @1: The squirrel needs the tiger.[(((triple1) -> rule3))] @2: The tiger eats the squirrel.[(((((triple1) -> rule3) triple2) -> rule2))] @3: The squirrel needs the squirrel.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple2) -> rule2)) -> rule1))]