Bob is cold. Bob is furry. Bob is not green. Bob is not kind. Bob is rough. Bob is round. Bob is not white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not rough. Charlie is round. Charlie is white. If something is not round then it is not white. If Bob is not furry and Bob is not kind then Bob is rough. If something is round and not furry then it is green.
Charlie is not green.