Premise: Well, it was just then that Bauerstein arrived.

Hypothesis: Bauerstein never arrived.
Relation: contradiction