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