Text: Therefore he would have to run.
Entailment: Running is something he would have to do.
Contradiction: He has to walk.