Domestic drug use is severely punished, but heroin production for export is permitted.
While heroin can be exported, people who use it are punished harshly.
mnli hypothesis: While heroin can be exported, people who use it are punished harshly. premise: Domestic drug use is severely punished, but heroin production for export is permitted.