Anne is furry. Anne is not nice. Anne is red. Bob is rough. Gary is not blue. Gary is nice. Gary is not rough. Gary is white. Harry is not rough. Harry is white. All blue, nice things are rough. All quiet, red things are white. If Harry is blue and Harry is red then Harry is nice. If something is red and rough then it is not quiet. Furry things are quiet. If Bob is furry then Bob is nice.
Harry is not nice.
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Anne is red.[(triple3)] Bob is rough.[(triple4)] Gary is nice.[(triple6)] Gary is not blue.[(triple5)] Gary is not rough.[(triple7)] Gary is white.[(triple8)] Harry is not rough.[(triple9)] Harry is white.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule5))] @2: Anne is white.[(((((triple1) -> rule5) triple3) -> rule2))]