Premise: Michael Schumacher . His time with Ferrari yielded five consecutive titles between and . Schumacher agreed to return for Ferrari part-way through 2009 , as cover for the badly injured Felipe Massa , but was prevented by a neck injury .
Hypothesis: Michael Schumacher drove for Ferrari.
Label: ENTAILMENT