Bob is cold. Bob is kind. Charlie is not blue. Charlie is green. Charlie is kind. Charlie is quiet. Dave is not furry. Dave is kind. Harry is blue. Harry is not kind. Kind, blue people are not furry. All cold people are blue. If Dave is not blue then Dave is white.
Charlie is not green.