Premise: Bauerstein!"

Hypothesis: That's not Bauerstein. 
Relation: contradiction