The lion is red. The tiger sees the lion. If the lion is red then the lion sees the tiger. If something sees the tiger then the tiger needs the lion. If something needs the lion and the lion sees the tiger then the lion visits the tiger.
The tiger sees the lion.
@0: The lion is red.[(triple1)] The tiger sees the lion.[(triple2)] @1: The lion sees the tiger.[(((triple1) -> rule1))] @2: The tiger needs the lion.[(((((triple1) -> rule1)) -> rule2))] @3: The lion visits the tiger.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]