Premise: Bauerstein.

Hypothesis: Not Bauerstein.
Relation: contradiction