premise: A black truck and a red car parked on the street in front of a grocery store painted red. hypothesis: No cars are at the store.
contradiction: Either the truck and car are in front of the store or no cars are at the store.