The lion is kind. The tiger is red. If the tiger likes the lion then the lion does not need the tiger. If someone is red then they like the lion.
The lion needs the tiger.
@0: The lion is kind.[(triple1)] The tiger is red.[(triple2)] @1: The tiger likes the lion.[(((triple2) -> rule2))] @2: The lion does not need the tiger.[(((((triple2) -> rule2)) -> rule1))]