Anne is round. Anne is white. Harry is green. If Harry is round and Harry is red then Harry is quiet. Quiet things are rough. If something is red then it is rough. All nice, rough things are red. All round things are nice. All white things are green.
Harry is not green.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Harry is green.[(triple3)] @1: Anne is green.[(((triple2) -> rule6))] Anne is nice.[(((triple1) -> rule5))]