Gary is green. Gary is red. Gary is smart. If Gary is nice then Gary is cold. If something is red then it is white. If Gary is nice then Gary is blue. If Gary is red then Gary is smart. If Gary is blue then Gary is nice. If Gary is smart and Gary is blue then Gary is nice. All white things are blue. If something is not smart then it is not cold.
Gary is not blue.