premise: Cyclists are walking their bicycles through a tunnel. hypothesis: The cyclists are walking their bikes over a bridge.
contradiction: cyclists cannot be walking their bicycles through a tunnel and over a bridge at the same time.