Anne is furry. Anne is green. Anne is rough. Bob is kind. Bob is white. Dave is blue. Dave is not furry. Dave is green. Dave is not kind. Dave is red. Dave is rough. Dave is white. Red, white things are rough. If Anne is furry and Anne is rough then Anne is red. If Anne is blue and Anne is kind then Anne is not furry. If Dave is rough and Dave is kind then Dave is white. If something is furry and not green then it is blue. If something is blue then it is red. If something is not blue then it is red. If Dave is not rough then Dave is furry.
Bob is not rough.