Charlie is cold. Charlie is not rough. Charlie is young. Dave is blue. Dave is furry. Dave is rough. Dave is young. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is rough. Cold, young things are green. Furry, cold things are green. If something is not rough then it is furry. All blue, rough things are young. If something is red and not young then it is not green. If Erin is not red and Erin is not green then Erin is furry.
Dave is cold.