Premise: When Goethe arrived in Strasbourg for the first time, he just dropped his bag at his hostel, Zum Geist, and rushed off to visit the cathedral.
Hypothesis: Goethe has never visited the cathedral in Strasbourg. 
Label: contradiction