Harry is big. Big people are nice. If someone is nice then they are cold. If someone is cold then they are red.
Harry is green.
@0: Harry is big.[(triple1)] @1: Harry is nice.[(((triple1) -> rule1))] @2: Harry is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Harry is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]