premise: Cars are parked in a lot in the foreground, while buildings and smokestacks rise in the background. hypothesis: Cars are not parked in a lot in the foreground.
contradiction: The cars are parked in a lot in the foreground so there is no way they are not if they are.