Charlie is not green. Charlie is nice. Charlie is round. Charlie is smart. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Erin is round. Erin is not smart. All blue, white people are not quiet. If Dave is green then Dave is round. If Charlie is round then Charlie is white.
Dave is not smart.