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