premise: Orange construction trucks travel down a littered four-lane street in the middles of a concrete, urban downtown. hypothesis: the trucks are parked in the basement.
contradiction: The construction trucks can only either be parked or traveling, they cannot be both at the same time.