Charlie is green. Charlie is red. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is white. If Dave is kind then Dave is green. If something is not green and not nice then it is not red.
Charlie is not white.