Anne is blue. Anne is furry. Bob is blue. Bob is rough. Bob is round. Bob is smart. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is smart. Gary is furry. Gary is red. Gary is round. If something is red then it is kind. If Dave is kind and Dave is furry then Dave is smart. If something is rough and round then it is furry. If something is blue then it is kind. All blue things are smart. Rough, blue things are round. All smart things are rough. Red things are rough.
Bob is not furry.