Dave is cold. Dave is not green. Dave is nice. Dave is red. Gary is blue. Gary is nice. Gary is rough. If someone is nice and not cold then they are blue. If Gary is round and Gary is cold then Gary is red. All red, rough people are nice. Rough people are green. If someone is red then they are not blue. If someone is cold and not nice then they are red.
Gary is cold.