Charlie is not big. Charlie is not blue. Charlie is cold. Charlie is green. Charlie is quiet. Erin is not blue. Erin is cold. Erin is quiet. Erin is red. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is quiet. If something is green and not quiet then it is not big. If Charlie is not cold then Charlie is big. If Charlie is not young then Charlie is red.
Charlie is not red.
@0: Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is quiet.[(triple5)] Erin is cold.[(triple7)] Erin is not blue.[(triple6)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is young.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)]