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 does not eat the tiger.
@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))]