Anne is blue. Anne is green. Anne is red. Anne is not white. Bob is blue. Bob is furry. Bob is not green. Bob is not nice. Bob is red. Bob is not white. Charlie is furry. Charlie is green. Charlie is kind. Charlie is white. Erin is kind. If someone is green and not red then they are nice. If someone is green and kind then they are not red.
Erin is not white.