Anne is kind. Anne is red. Anne is rough. Bob is kind. Bob is not rough. Bob is young. Dave is nice. Dave is rough. Dave is not smart. Dave is young. Erin is furry. Erin is kind. Erin is not nice. Erin is not smart. Erin is young. All kind, smart people are not nice. If someone is young then they are not red. If someone is furry then they are not nice. If someone is rough and nice then they are not red. Nice, red people are rough. If Dave is red and Dave is young then Dave is nice. All red people are rough. If someone is young and not nice then they are furry.
Bob is furry.