Anne is kind. Bob is nice. Dave is green. If Anne is not green then Anne is not rough. If something is not nice then it is kind. If something is kind then it is not nice. All rough things are young. If something is smart and not green then it is rough. Nice things are smart. If Bob is smart then Bob is rough. All rough things are not red.
Dave is not nice.