Bob is smart. Charlie is round. Gary is furry. If someone is blue and not round then they are not smart. If someone is kind and not smart then they are rough. All rough people are not furry. If someone is nice and not furry then they are not rough. If Charlie is kind then Charlie is not furry. All furry, rough people are kind.
Charlie is not rough.