Gary is big. Gary is not blue. Gary is cold. Gary is nice. Gary is red. Gary is smart. Gary is not young. If something is nice and young then it is cold. If Gary is blue and Gary is smart then Gary is cold. If Gary is not blue then Gary is nice. If Gary is not young then Gary is smart. Blue things are not red. If something is blue then it is nice. If something is cold and red then it is big. If Gary is smart and Gary is not blue then Gary is red.
Gary is not cold.