premise: Several people pack onto the open bed of a turquoise truck which is laden with bags and packages. hypothesis: A Corvette convertible is loaded with groceries.
contradiction: A Corvette is not a truck.