Gary is white. If something is big and nice then it is smart. White things are furry. If Gary is big then Gary is green. Furry things are not green. Furry, quiet things are smart. If Gary is green and Gary is big then Gary is furry. If something is smart and not green then it is not white. If something is not furry then it is not nice.
Gary is not big.