Anne is furry. Anne is kind. Anne is red. Anne is round. Anne is white. Dave is not blue. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is white. If Anne is not furry then Anne is not kind. If Anne is red and Anne is not round then Anne is kind. If Dave is not white then Dave is blue. All red things are kind. If Anne is blue then Anne is red. White, kind things are red. If Dave is not red then Dave is kind. If something is rough and not blue then it is kind.
Anne is not rough.