premise: A man holds an orange juice carton on a grocery store shelf while a woman looks further down on the shelf. hypothesis: Nobody has a carton.
contradiction: If the man has a carton, somebody has a carton.