premise: A car is loaded with items on the top. hypothesis: The car is a convertible.
contradiction: The car is either loaded with items on the top or is a convertible with nothing on top.|contradiction: a convertible car can't be loaded on the top.|contradiction: A convertible does not have a top, and thus cannot have items on the top.