Text: These things are in such short supply in North Korea that they have to be smuggled in in the stomachs of South Korean cows.
Entailment: These things have to be smuggled in the stomachs of South Korean cows.
Contradiction: These things don't have to be smuggled in the stomachs of South Korean cows.