Anne is blue. Bob is kind. Erin is kind. Fiona is kind. If someone is furry and not green then they are not red. If someone is not green then they are not red. If someone is rough and furry then they are blue. If Anne is kind and Anne is furry then Anne is not blue. Rough, kind people are red. If someone is rough and not green then they are smart. If someone is green and not smart then they are red. If Fiona is not furry and Fiona is not blue then Fiona is not smart.
Erin is not red.