Gary is cold. Smart things are big. If something is smart and furry then it is red. Smart, nice things are red. All big things are nice. If Gary is furry and Gary is blue then Gary is nice. If something is furry then it is cold. If something is furry then it is smart. If Gary is cold then Gary is smart.
Gary is not blue.