Anne is furry. Anne is green. Anne is not kind. Anne is round. Charlie is furry. Charlie is not green. Charlie is round. Dave is furry. Dave is quiet. Dave is red. If Dave is round then Dave is quiet. If something is red and not kind then it is white. If something is white and not round then it is not green. If Charlie is red then Charlie is white. If something is not green then it is furry. If something is furry then it is red.
Dave is kind.