The cat needs the tiger. The cat visits the tiger. The tiger is young. If the cat visits the tiger then the cat sees the tiger. If someone sees the tiger then the tiger is green.
The tiger is green.
@0: The cat needs the tiger.[(triple1)] The cat visits the tiger.[(triple2)] The tiger is young.[(triple3)] @1: The cat sees the tiger.[(((triple2) -> rule1))] @2: The tiger is green.[(((((triple2) -> rule1)) -> rule2))]