Anne is blue. Charlie is blue. Charlie is quiet. Charlie is smart. Dave is blue. Dave is furry. Dave is quiet. Dave is smart. Dave is young. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. If something is kind and not blue then it is not furry. Smart things are young. If something is not blue then it is white. All young things are kind. All furry things are quiet. All kind things are furry. If Dave is kind and Dave is quiet then Dave is white. If something is not white then it is smart.
Charlie is young.