Anne is smart. Dave is not young. Erin is white. If something is white and furry then it is not young. All young, green things are blue. If Dave is white and Dave is not green then Dave is furry. All young things are blue. If something is blue then it is not furry. All young things are not green. If Erin is blue and Erin is not smart then Erin is white. If something is young and green then it is furry.
Anne is smart.