Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is not red. Charlie is round. Charlie is smart. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is red. All kind, cold things are round. If Dave is not cold then Dave is round. Smart things are round. Cold, blue things are round. All kind things are smart. If something is not smart then it is red.
Charlie is round.