Bob is kind. Charlie is not round. Dave is cold. If something is kind then it is round. All cold things are blue. If Bob is quiet and Bob is round then Bob is not nice. Quiet things are blue. If something is rough and not kind then it is cold. Blue things are cold. If something is kind and not cold then it is rough. If Dave is kind and Dave is not rough then Dave is not blue.
Charlie is not round.