Anne is not furry. Bob is red. Dave is round. All red people are kind. All kind people are green. If someone is furry and not red then they are smart. If someone is green and not round then they are furry. Red, green people are rough. If someone is furry then they are rough.
Dave is furry.