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