premise: Several people cross a busy city street on bicycles and foot while cars wait at the signal. hypothesis: Cars drive through the intersection.
contradiction: The cars can either wait or drive through.