Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is not smart. Harry is cold. Harry is kind. If something is green and not cold then it is smart.
Harry is not smart.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not smart.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12)]