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