Anne is blue. Dave is not blue. All smart, rough people are nice. All white people are rough. All kind people are white. All kind, red people are blue. If Anne is blue then Anne is white. If someone is not blue and not red then they are kind.
Dave is red.