premise: A train carrying passengers makes its way along the tracks among the woods. hypothesis: the train is stuck in the middle of the desert.
contradiction: The train cannot be stuck if it makes its way along the tracks.