Anne is red. Charlie is green. Dave is not rough. Erin is big. All rough, red people are white. If someone is not blue then they are not white. If someone is rough then they are not green. All red, big people are green. If someone is rough then they are big. If someone is red and rough then they are not blue. If someone is round and not white then they are big. If someone is not big then they are green.
Erin is white.