Anne is blue. Bob is kind. Bob is red. Dave is kind. Dave is not nice. Dave is rough. Dave is not smart. If Dave is nice then Dave is smart. If someone is not round then they are rough. If someone is nice then they are not rough. Nice, rough people are not red. If Dave is not blue then Dave is kind. All nice, rough people are not blue. If someone is round and not rough then they are not blue. If someone is nice and not kind then they are not red.
Dave is not nice.