premise: Food donations for the community food bank fill a truck as a worker donning a black hat reaches the loading dock. hypothesis: The truck is empty.
contradiction: A truck cannot be empty if workers are filling the truck.