premise: Orange construction trucks travel down a littered four-lane street in the middles of a concrete, urban downtown. hypothesis: 4 construction tracks are parked in the city garage.
contradiction: The construction trucks can only either be parked or traveling.