Gary is big. Gary is not green. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is not young. If Gary is smart and Gary is not big then Gary is not nice. Young people are smart.
Gary is not round.
@0: Gary is big.[(triple1)] Gary is nice.[(triple3)] Gary is not green.[(triple2)] Gary is not young.[(triple7)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)]