Bob is not green. Dave is not cold. Dave is rough. If something is furry and red then it is cold. If Bob is kind then Bob is white. If something is not furry then it is kind. Furry, rough things are white. All green things are white. If Dave is red and Dave is not cold then Dave is not rough.
Dave is furry.