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