Premise: At least that was the theory.
Hypothesis: That was definitely not the theory. 
Label: contradiction