Anne is furry. Anne is quiet. Anne is rough. Anne is round. Anne is not white. Anne is young. Dave is not quiet. Dave is rough. Harry is white. Harry is not young. If Harry is not quiet then Harry is furry. If someone is white then they are not rough. All big, young people are not furry.
Harry is not furry.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple5)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple6)] Dave is not quiet.[(triple7)] Dave is rough.[(triple8)] Harry is not young.[(triple10)] Harry is white.[(triple9)] @1: Harry is not rough.[(((triple9) -> rule2))]