Premise: It took him clear effort to crawl back.

Hypothesis: He could walk back unscathed.
Relation: contradiction