Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. All red, rough things are smart. If Gary is big then Gary is white. Rough things are smart. All furry things are blue. If something is red then it is furry. If Gary is rough then Gary is white.
Gary is not red.