Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is not rough. Harry is smart. If something is smart and not kind then it is blue. If Harry is red and Harry is not nice then Harry is rough. If something is red and not smart then it is rough.
Harry is not blue.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is not rough.[(triple6)] Harry is red.[(triple5)] Harry is smart.[(triple7)]