Anne is not red. Dave is nice. If something is rough then it is cold. If something is white and not nice then it is not cold. All kind things are white. If Dave is white and Dave is not nice then Dave is rough. Kind, rough things are not blue. Nice things are cold. If something is cold then it is kind. If something is not kind then it is not rough.
Dave is not nice.