Premise: Michael Schumacher . He is a seven-time Formula One World Champion and is widely regarded as one of the greatest Formula One drivers of all time . Schumacher returned to Formula One on a permanent basis from 2010 with the Mercedes team before retiring for a second time at the conclusion of the 2012 season .
Hypothesis: Michael Schumacher is a Formula One driver.
Label: ENTAILMENT