premise: Orange construction trucks travel down a littered four-lane street in the middles of a concrete, urban downtown. hypothesis: The street is littered after a parade.
contradiction: The construction trucks cannot travel down the street if it is littered.