Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is not quiet. Gary is red. Gary is not white. All quiet people are white. If someone is nice and not big then they are red.
Gary is not quiet.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is not quiet.[(triple5)] Gary is not white.[(triple7)] Gary is red.[(triple6)]