Anne is red. Charlie is blue. Charlie is green. Charlie is nice. Erin is not blue. Erin is furry. Gary is green. If something is red then it is furry. If Anne is kind then Anne is blue. If something is furry then it is green. All nice things are young. If something is kind then it is young. All green things are furry. All green things are kind. If something is young then it is nice. If something is not red and not furry then it is green.
Erin is not kind.