Anne is white. Charlie is round. Dave is smart. Smart people are green. All red, white people are kind. If someone is kind and not white then they are smart. All smart people are red. All white, rough people are green. If Anne is kind then Anne is rough. If someone is round and not kind then they are rough. If someone is green and not kind then they are red.
Charlie is white.