Text: Well, it was just then that Bauerstein arrived.
Entailment: Bauesterin arrived right at that moment.
Contradiction: Bauerstein never arrived.