premise: Coffee shop on a corner in a city with tall buildings. hypothesis: The coffee shop is in the middle of the block.
contradiction: A coffee shop cannot be both in the middle of the block and on the corner unless it occupies the whole block.