Charlie is big. Charlie is round. Charlie is smart. Charlie is white. Gary is green. Gary is rough. Gary is round. If Charlie is big then Charlie is not rough. If something is rough then it is big. If Charlie is blue and Charlie is not smart then Charlie is not big.
Charlie is not rough.