Harry is rough. Harry is round. Harry is white. Green, blue people are nice. Red people are blue. If Harry is white then Harry is nice. If Harry is red and Harry is blue then Harry is nice. All blue people are round. If Harry is round and Harry is white then Harry is rough.
Harry is not blue.
@0: Harry is rough.[(triple1 OR ((triple2 triple3) -> rule6))] Harry is round.[(triple2)] Harry is white.[(triple3)] @1: Harry is nice.[(((triple3) -> rule3))]