Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is blue. Dave is cold. Dave is green. Gary is green. Gary is rough. Gary is young. Harry is blue. Harry is cold. Harry is kind. Harry is rough. If Gary is blue and Gary is rough then Gary is cold.
Gary is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is green.[(triple9)] Gary is green.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] Harry is rough.[(triple16)]