Anne is cold. Fiona is blue. If someone is cold and green then they are kind. If someone is nice then they are green. Cold people are nice.
Anne is cold.
@0: Anne is cold.[(triple1)] Fiona is blue.[(triple2)] @1: Anne is nice.[(((triple1) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule1))]