The tiger is blue. Cold things are round. If the tiger is blue then the tiger is cold.
The tiger chases the tiger.
@0: The tiger is blue.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule2))] @2: The tiger is round.[(((((triple1) -> rule2)) -> rule1))]