Bob is not green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is not round. Bob is young. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. If Charlie is young then Charlie is round. All red people are rough. If someone is not red then they are not rough.
Charlie is young.