Premise: Therefore he would have to run.

Hypothesis: He has to walk.
Relation: contradiction