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.
Fiona is not smart.
@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)]