Anne is nice. Anne is not red. Anne is rough. Anne is not white. Bob is green. Bob is not nice. Bob is red. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Erin is green. Erin is smart. Erin is white. Smart, red people are young. If someone is red and not rough then they are white. Red, nice people are white. If someone is young and white then they are nice. If Bob is young then Bob is white. If someone is white and not nice then they are green.
Erin is not young.