Anne is blue. Anne is furry. Anne is red. Anne is rough. Bob is blue. Bob is nice. Bob is rough. Bob is smart. Bob is young. Erin is rough. If Anne is rough then Anne is not young. If Bob is red then Bob is young. If Anne is furry and Anne is smart then Anne is red. All furry, young things are smart. If Erin is furry and Erin is smart then Erin is blue. If something is not smart and not young then it is red.
Anne is smart.