Bob is green. Charlie is green. Charlie is kind. Dave is not furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is round. Gary is not nice. Red, nice things are not furry. If something is not kind then it is round.
Charlie is not round.