Charlie is not blue. Charlie is green. Charlie is not nice. Charlie is round. Charlie is smart. Charlie is young. Dave is not blue. Dave is green. Dave is not kind. Dave is not nice. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is green. Erin is not nice. If something is kind and not green then it is not smart. If Erin is green and Erin is not smart then Erin is kind.
Dave is kind.