Bob is not furry. Bob is kind. Charlie is furry. Charlie is rough. Dave is blue. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Harry is nice. Harry is red. All rough things are furry. Blue things are furry. All blue things are quiet. All kind, nice things are rough. Furry, rough things are blue. All red things are kind. If something is furry and not blue then it is not nice. If something is blue and not rough then it is quiet. If something is not furry then it is quiet.
Bob is not red.