Anne is nice. Bob is nice. Bob is red. Charlie is green. Charlie is white. Charlie is young. Dave is not quiet. If someone is green and not young then they are red. If someone is not blue then they are green. If someone is red and not green then they are white.
Charlie is white.