Harry is blue. Harry is green. Harry is kind. Harry is not quiet. Harry is not red. Harry is not rough. Harry is not round. All rough people are not quiet. Red people are not rough. All quiet, blue people are rough. If Harry is red then Harry is not blue. Green people are kind. If someone is round and not blue then they are not kind.
Harry is not green.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3 OR ((triple2) -> rule5))] Harry is not quiet.[(triple4)] Harry is not red.[(triple5)] Harry is not rough.[(triple6)] Harry is not round.[(triple7)]