premise: People walking on the sidewalk of a large city while traffic goes by. hypothesis: There is not a single person walking in the city.
contradiction: If people are present, there cannot also not be a single person present.