premise: A black truck and a red car parked on the street in front of a grocery store painted red. hypothesis: Some vehicles wait in line at the red light.
contradiction: One can not be in front of a store and at a light  simultaneously.