Anne is kind. Dave is kind. Kind things are cold. If something is cold and not blue then it is young. All blue things are furry. If something is furry and not young then it is not kind. If Dave is kind and Dave is not furry then Dave is not green. If something is blue and not young then it is kind.
Dave is not furry.