Anne is big. Harry is blue. If Anne is young and Anne is rough then Anne is green. If something is big then it is cold. Cold things are big. Blue, green things are big. If something is blue then it is green. Rough things are cold. All young, blue things are rough. Blue, rough things are kind.
Harry is not big.
@0: Anne is big.[(triple1)] Harry is blue.[(triple2)] @1: Anne is cold.[(((triple1) -> rule2))] Harry is green.[(((triple2) -> rule5))] @2: Harry is big.[(((triple2 ((triple2) -> rule5)) -> rule4))] @3: Harry is cold.[(((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule2))]