Anne is blue. Harry is cold. All blue people are cold. All quiet, blue people are white. All cold people are quiet.
Harry is not quiet.
@0: Anne is blue.[(triple1)] Harry is cold.[(triple2)] @1: Anne is cold.[(((triple1) -> rule1))] Harry is quiet.[(((triple2) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is white.[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule2))]