Gary is furry. Gary is green. Gary is not quiet. Gary is red. Gary is smart. Gary is white. Gary is young. If Gary is not green then Gary is smart. If something is white and not young then it is smart.
Gary is not red.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is not quiet.[(triple3)] Gary is red.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]