premise: A black truck and a red car parked on the street in front of a grocery store painted red. hypothesis: Two vehicles were driving.
contradiction: One can not be parked and driving simultaneously.