Charlie is white. Dave is white. Gary is blue. Harry is smart. Red, smart people are white. If someone is not kind then they are red. All white people are nice. Rough, nice people are not kind. If Charlie is nice and Charlie is red then Charlie is white. If someone is not white then they are not kind.
Dave is not red.