Domestic drug use is severely punished, but heroin production for export is permitted.
Heroin use should not be illegal if the drugs are allowed to be exported.
mnli hypothesis: Heroin use should not be illegal if the drugs are allowed to be exported. premise: Domestic drug use is severely punished, but heroin production for export is permitted.