Anne is not cold. Anne is white. Bob is cold. Dave is cold. Dave is kind. Dave is nice. Dave is white. All nice people are green. If Bob is cold and Bob is not blue then Bob is green.
Dave is not white.