The lion is young. The tiger chases the lion. The tiger needs the lion. If the tiger needs the lion then the lion chases the tiger. If someone needs the lion then the lion is not blue. If someone chases the tiger then the tiger eats the lion.
The tiger does not chase the tiger.
@0: The lion is young.[(triple1)] The tiger chases the lion.[(triple2)] The tiger needs the lion.[(triple3)] @1: The lion chases the tiger.[(((triple3) -> rule1))] The lion is not blue.[(((triple3) -> rule2))] @2: The tiger eats the lion.[(((((triple3) -> rule1)) -> rule3))]