Charlie is cold. Charlie is not green. Charlie is young. Gary is cold. Gary is nice. Gary is white. Gary is young. If something is red then it is cold. If Charlie is white then Charlie is red. If Charlie is not young then Charlie is nice.
Charlie is green.
@0: Charlie is cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is young.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]