Bob is kind. Bob is rough. Bob is round. Bob is not young. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Dave is not nice. Dave is quiet. If Bob is young then Bob is kind. If Charlie is round then Charlie is kind. If something is green then it is not nice. If something is young and quiet then it is rough. If something is young and not round then it is nice. If something is not round then it is not kind.
Charlie is not nice.