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 riding bikes in the city.
contradiction: The men cannot be on a bridge through the woods while being in the city. They also cannot be running while riding.