The lion eats the tiger. The tiger eats the lion. The tiger needs the lion. If something eats the tiger and the tiger is kind then the tiger is blue. If something eats the tiger then the tiger is kind. If something chases the lion then it needs the tiger.
The tiger does not need the tiger.
@0: The lion eats the tiger.[(triple1)] The tiger eats the lion.[(triple2)] The tiger needs the lion.[(triple3)] @1: The tiger is kind.[(((triple1) -> rule2))] @2: The tiger is blue.[(((triple1 ((triple1) -> rule2)) -> rule1))]