Bob is kind. Bob is rough. Bob is smart. Dave is kind. Erin is nice. Erin is not rough. Erin is smart. Fiona is not furry. Fiona is not kind. Fiona is nice. If Bob is furry then Bob is white. If someone is rough then they are furry. If someone is not red then they are smart. Furry, rough people are white. If someone is not furry then they are smart. If Dave is rough and Dave is not smart then Dave is not red.
Erin is smart.