Anne is cold. Anne is green. Anne is nice. Anne is smart. Anne is white. Bob is cold. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is white. Dave is smart. Dave is not white. Erin is white. Green, nice people are cold. Rough people are smart. If someone is nice then they are blue. Nice, smart people are green. If Dave is rough and Dave is blue then Dave is smart. All white people are nice. Nice people are rough. If Dave is cold and Dave is smart then Dave is blue. If Dave is blue and Dave is not rough then Dave is white.
Erin is green.