Premise: so he's so he's out there digging it up

Hypothesis: He's in his bed sleeping.
Relation: contradiction