Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Dave is green. Dave is rough. All rough people are nice. All white people are red. If Charlie is nice and Charlie is kind then Charlie is rough. Rough people are nice. Blue, kind people are red. All green people are kind.
Charlie is white.