The tiger is big. The tiger is red. The tiger is young. If something is red then it is kind. If the tiger is kind then the tiger is blue. If the tiger is kind then the tiger is red.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1)] The tiger is red.[(triple2)] The tiger is young.[(triple3)] @1: The tiger is kind.[(((triple2) -> rule1))] @2: The tiger is blue.[(((((triple2) -> rule1)) -> rule2))]