premise: In the autumn, two men run in opposite directions down a path that leads over a bridge and through the woods, while two others walking a dog are stopped on the bridge. hypothesis: Two men are running on treadmills inside in a crowded gym.
contradiction: The two men cannot be on a bridge through the woods and on treadmills inside a gym at the same time.