premise: Two men standing in a busy city while one takes a photo. hypothesis: The men are walking through the city.
contradiction: The men cannot be walking through the city if they are standing in the busy city.