premise: One boy pushes a shopping cart with another smaller boy standing up in it. hypothesis: The boys are both at home napping.
contradiction: The boys cannot be pushing a shopping cart and standing up in it if they are both at home napping.