Gary is not big. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is not round. If Gary is round and Gary is red then Gary is nice. If something is big and cold then it is not green. Big things are not nice.
Gary is not round.
@0: Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is not big.[(triple1)] Gary is not round.[(triple7)] Gary is quiet.[(triple5)] Gary is red.[(triple6)]