Premise: Bauerstein!"
Hypothesis: That's not Bauerstein. 
Label: contradiction