premise: Three men stroll down the street beneath a large red awning that says "Arrivo". hypothesis: The men are inside a store browsing.
contradiction: The men cannot be inside a store browsing while they are strolling down the street.