Harry is not big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is smart. Harry is not white. If Harry is white then Harry is big.
Harry is not nice.
@0: Harry is blue.[(triple2)] Harry is green.[(triple3)] Harry is nice.[(triple4)] Harry is not big.[(triple1)] Harry is not white.[(triple7)] Harry is red.[(triple5)] Harry is smart.[(triple6)]