Anne is blue. Anne is furry. Anne is red. Anne is rough. Dave is furry. Erin is blue. Gary is green. If Dave is rough and Dave is quiet then Dave is not red. If Erin is not rough then Erin is smart. If Dave is red and Dave is smart then Dave is not green. If something is blue and not quiet then it is red. If Dave is quiet then Dave is blue. If something is green and red then it is not smart. If Erin is blue and Erin is not smart then Erin is furry. If something is not red then it is furry.
Anne is not furry.