premise: Here are three people unloading their groceries at the supermarket. hypothesis: The three people did not get groceries.
contradiction: If they are unloading their groceries, then they did get groceries.