so he has overcome alcoholism at this point
He still is a heavy drinker and can't control it.
mnli hypothesis: He still is a heavy drinker and can't control it. premise: so he has overcome alcoholism at this point