Anne is blue. Anne is not red. Anne is young. Charlie is not blue. Charlie is furry. Charlie is red. Charlie is white. If Charlie is blue then Charlie is red. All blue, nice people are red.
Charlie is not red.