Premise: which is what we wind up with
Hypothesis: We didn't wind up with it. 
Label: contradiction