premise: The checkout section at Target packed with last minute holiday shoppers trying to squeeze in a couple more gifts before Christmas. hypothesis: The target store is empty.
contradiction: The checkout section at target can't be packed if the target store is empty.