The tiger is blue. The tiger is cold. The tiger is round. Cold, kind people are nice. Cold people are kind.
The tiger does not chase the tiger.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is kind.[(((triple2) -> rule2))] @2: The tiger is nice.[(((triple2 ((triple2) -> rule2)) -> rule1))]