Anne is green. Anne is quiet. Anne is round. Bob is green. Bob is quiet. Charlie is cold. Erin is smart. All smart, round people are cold. Cold, smart people are white. White, smart people are rough. If Erin is rough then Erin is green. All cold people are smart. Green people are cold. If Erin is quiet and Erin is round then Erin is rough. If Anne is cold and Anne is green then Anne is rough. Rough, green people are round.
Erin is not green.