Bob is big. Bob is green. Bob is round. Charlie is big. Charlie is not blue. Charlie is green. Charlie is kind. Charlie is smart. Dave is blue. Dave is red. Dave is smart. Erin is blue. Erin is kind. Erin is round. Erin is smart. If something is smart then it is green. If something is round and big then it is red. If Charlie is round then Charlie is not smart. If Erin is big then Erin is not kind. If something is big and not round then it is not red. If Erin is kind and Erin is not green then Erin is not red.
Dave is kind.