Charlie is green. Charlie is kind. Fiona is green. Gary is cold. Gary is green. Gary is smart. Harry is nice. Cold, rough things are smart. If Harry is white then Harry is green.
Gary is not green.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Fiona is green.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is smart.[(triple6)] Harry is nice.[(triple7)]