Dave is green. Erin is red. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is rough. Harry is cold. Harry is nice. All nice things are rough. All white things are rough. All cold, blue things are white. If something is cold then it is nice. If Gary is nice then Gary is green. White things are blue. If something is red then it is cold. If something is rough then it is blue. If something is white and cold then it is green.
Gary is white.