Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is not nice. Dave is red. Dave is rough. If Dave is not rough then Dave is red. If something is cold and not nice then it is green. If something is not rough then it is cold. If something is nice and cold then it is furry. Red, rough things are kind. Rough things are green. If Dave is not nice then Dave is green. If something is not kind and not rough then it is not cold.
Dave is not nice.