Premise: Donald Trump . In June 2015 , he launched his campaign for the 2016 presidential election and quickly emerged as the front-runner among seventeen candidates in the Republican primaries . 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 was the Republican nominee for the presidential election.
Label: ENTAILMENT