Harry is green. Harry is kind. Harry is not nice. Cold, rough things are kind. If something is nice and not red then it is not kind. If something is nice and not rough then it is not cold. If something is kind and not red then it is not green. All cold, green things are blue. All blue, rough things are nice.
Harry is nice.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is not nice.[(triple3)]