Anne is green. Anne is not round. Bob is blue. Bob is white. Dave is not rough. Erin is blue. Erin is rough. All blue, white people are round. If someone is quiet and rough then they are green. Green, blue people are smart. Green, round people are quiet. If someone is rough then they are blue. If someone is blue and smart then they are white. All blue, rough people are quiet. If someone is blue and not white then they are smart.
Bob is green.