The tiger is green. Kind, green people are blue. All green, blue people are nice. If the tiger is green then the tiger is kind.
The tiger is blue.
@0: The tiger is green.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule3))] @2: The tiger is blue.[(((((triple1) -> rule3) triple1) -> rule1))] @3: The tiger is nice.[(((triple1 ((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]