Charlie is rough. Charlie is not round. Gary is white. If something is young and not round then it is white. If Charlie is smart and Charlie is round then Charlie is white. All smart things are white. If Charlie is green then Charlie is not cold. Rough things are white. If something is not rough then it is not green. If something is not green then it is smart. If Gary is not smart then Gary is young.
Charlie is not white.