Premise: Donald Trump . His remaining opponents all suspended their campaigns by the end of May 2016 , and in July he was formally nominated at the Republican National Convention along with Indiana governor Mike Pence as his running mate .
Hypothesis: Donald Trump lost the Republican primaries.
Label: ENTAILMENT