Anne is smart. Erin is not furry. If Anne is smart then Anne is nice. If Erin is red then Erin is rough. If Anne is red then Anne is rough. If something is green and furry then it is nice. If something is nice then it is furry. If Anne is not rough then Anne is not green. If Anne is not nice then Anne is kind. If something is red and not nice then it is not furry.
Erin is kind.