Anne is not blue. Anne is cold. Anne is not kind. Anne is young. Bob is cold. Bob is furry. Bob is not green. Bob is young. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not nice. Charlie is young. Dave is furry. Dave is nice. If someone is nice and furry then they are green. If Bob is not young then Bob is kind. All kind people are not cold. If someone is not young then they are furry. If someone is green and not cold then they are blue. All kind, young people are blue. All blue people are kind. If someone is green then they are blue.
Dave is not young.