Anne is green. Anne is nice. Anne is quiet. Anne is white. Anne is young. Harry is cold. Harry is white. All quiet, green people are blue. If Anne is white and Anne is blue then Anne is cold.
Harry is young.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Harry is cold.[(triple6)] Harry is white.[(triple7)] @1: Anne is blue.[(((triple3 triple1) -> rule1))] @2: Anne is cold.[(((triple4 ((triple3 triple1) -> rule1)) -> rule2))]