Premise: I do not know whether this theory is true.
Hypothesis: I know that the theory is true. 
Label: contradiction