Premise: ah certainly is
Hypothesis: It is not. 
Label: contradiction