Charlie is not cold. Charlie is green. Charlie is rough. Gary is not blue. Gary is cold. Gary is green. Gary is not red. Rough, red things are smart. All rough, blue things are not green.
Gary is red.
@0: Charlie is green.[(triple2)] Charlie is not cold.[(triple1)] Charlie is rough.[(triple3)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is not blue.[(triple4)] Gary is not red.[(triple7)]