The tiger is big. The tiger is nice. The tiger is red. Big, red things are not kind. If the tiger is not kind then the tiger is green.
The tiger is kind.
@0: The tiger is big.[(triple1)] The tiger is nice.[(triple2)] The tiger is red.[(triple3)] @1: The tiger is not kind.[(((triple1 triple3) -> rule1))] @2: The tiger is green.[(((((triple1 triple3) -> rule1)) -> rule2))]