Gary is big. Gary is not blue. Gary is not cold. Gary is not green. Gary is not quiet. Gary is smart. Gary is not white. If something is quiet then it is white. All blue things are smart. Quiet, blue things are not smart. If something is green and not smart then it is big. If Gary is not smart then Gary is not white. If something is green and not big then it is cold.
Gary is big.
@0: Gary is big.[(triple1)] Gary is not blue.[(triple2)] Gary is not cold.[(triple3)] Gary is not green.[(triple4)] Gary is not quiet.[(triple5)] Gary is not white.[(triple7)] Gary is smart.[(triple6)]