Anne is furry. Anne is nice. Anne is red. Dave is nice. Erin is green. Harry is nice. Harry is not young. If someone is not red then they are nice. If someone is nice then they are quiet. If someone is quiet and not red then they are big. Quiet, green people are young. If someone is young and not green then they are nice. If someone is nice and big then they are furry. Furry, big people are not red. If someone is nice and not green then they are furry.
Erin is not red.