premise: It is a heavyset guy with a shopping cart filled with bags sitting on a bench. hypothesis: The shopping cart is empty.
contradiction: A shopping cart cannot be empty and filled with bags at the same time.