Anne is red. Harry is not blue. Red things are white. If something is white then it is big.
Harry is red.
@0: Anne is red.[(triple1)] Harry is not blue.[(triple2)] @1: Anne is white.[(((triple1) -> rule1))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule2))]