Bob is not rough. Bob is not young. Charlie is blue. Charlie is not green. Charlie is rough. Charlie is not smart. Charlie is white. Charlie is young. Erin is not green. Erin is young. If Bob is green and Bob is rough then Bob is red. Green, young things are rough. All green things are not rough. If something is red then it is young. If something is blue and smart then it is not young. All red things are rough. If Bob is white and Bob is not red then Bob is green. If something is green and not young then it is not blue.
Charlie is not white.