Charlie is cold. Charlie is green. Charlie is kind. Charlie is white. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is white. Gary is blue. Gary is kind. Gary is white. If Gary is cold and Gary is not blue then Gary is white. If Dave is not cold then Dave is not red.
Gary is not nice.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is white.[(triple12)]