Anne is green. Anne is nice. Anne is round. Dave is white. Fiona is smart. Harry is quiet. Harry is smart. All quiet, big things are not nice. Smart, quiet things are not round. If Fiona is smart and Fiona is round then Fiona is quiet.
Harry is smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is white.[(triple4)] Fiona is smart.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Harry is not round.[(((triple7 triple6) -> rule2))]