premise: A car is fully loaded, with passengers and rooftop cargo. hypothesis: A truck is fully loaded, with passengers and rooftop cargo.
contradiction: It can only be a car or truck, it cannot be both.