Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is round. Dave is cold. Dave is kind. Dave is red. Dave is round. Round, blue people are kind. If someone is green then they are quiet. If someone is green then they are kind. If Charlie is not round then Charlie is not quiet. Cold, round people are quiet. All cold, kind people are red. If someone is cold and not blue then they are red. If Dave is quiet and Dave is cold then Dave is green.
Dave is blue.