Anne is green. Anne is rough. Charlie is not kind. Charlie is not nice. Charlie is rough. Dave is quiet. Dave is smart. Erin is green. Erin is not quiet. Erin is not rough. Erin is not smart. Erin is white. If something is quiet then it is kind. If something is smart then it is not white. All kind, smart things are nice. All quiet things are smart. White things are not smart. If Dave is rough and Dave is not nice then Dave is green. If something is white and not green then it is kind. If Anne is smart and Anne is not kind then Anne is nice.
Erin is quiet.