Charlie is not blue. Dave is nice. Erin is rough. Gary is big. Gary is not green. Gary is red. Gary is not rough. If something is rough and not nice then it is not red. If something is blue and not cold then it is rough. Cold things are big.
Gary is big.
@0: Charlie is not blue.[(triple1)] Dave is nice.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] Gary is not green.[(triple5)] Gary is not rough.[(triple7)] Gary is red.[(triple6)]