Charlie is kind. Charlie is round. Dave is blue. Dave is furry. Dave is kind. Dave is round. Gary is young. All smart people are not green. If someone is round then they are kind. All round people are blue. All kind people are round. All green, round people are blue. If someone is not green and not blue then they are smart. If someone is not kind then they are furry. If someone is blue and not furry then they are smart.
Dave is not smart.