Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is not red. Anne is smart. Anne is not white. Erin is blue. Erin is not furry. Erin is nice. Erin is white. Harry is not blue. Harry is furry. Harry is red. Harry is smart. If someone is white then they are blue. If Anne is furry and Anne is not white then Anne is not red. If someone is smart and not white then they are green. If someone is not red then they are nice. If Erin is not blue and Erin is not white then Erin is green. If Anne is not nice then Anne is furry.
Anne is smart.