Anne is young. Charlie is not red. Dave is green. Dave is not kind. Dave is red. Erin is green. Erin is young. If someone is red and not kind then they are big. If someone is green then they are red.
Erin is not kind.