premise: Two women await a traffic light at the crosswalk. hypothesis: The women are at the bus stop waiting for a bus.
contradiction: The women could not be waiting for a traffic light and waiting for a bus at the same time.