Anne is green. Anne is nice. Anne is young. Charlie is not red. Gary is not big. Gary is red. Gary is white. If Charlie is young and Charlie is not white then Charlie is not nice. If someone is cold then they are red. If someone is green and not white then they are nice.
Gary is not nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is not red.[(triple4)] Gary is not big.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)]