Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is white. Charlie is white. Charlie is young. Kind, blue things are red. If something is green and young then it is red. If Anne is white and Anne is kind then Anne is green. If something is nice and green then it is red. Green, kind things are young. All red, blue things are green.
Charlie is not red.