premise: A city street is illuminated by lamps at night. hypothesis: A city street is dim with no working streetlamps.
contradiction: the city street cannot be illuminated if there is no working street lamps.