Anne is nice. Anne is rough. Bob is kind. Bob is white. Dave is green. Dave is kind. Dave is nice. Dave is not red. Dave is rough. Harry is cold. Harry is nice. Harry is not rough. If someone is kind then they are white. All red people are kind. Nice, white people are cold. If someone is red and not kind then they are green. If someone is green and not white then they are not rough. If Bob is nice and Bob is not green then Bob is not rough.
Anne is not kind.