Anne is blue. Anne is not furry. Anne is green. Anne is not rough. Anne is not young. Dave is blue. Dave is nice. Dave is young. Erin is blue. Erin is furry. Erin is not green. Erin is nice. Erin is rough. Erin is white. Erin is not young. If Dave is blue and Dave is not rough then Dave is furry. If something is furry and young then it is white.
Erin is not blue.