premise: There are a couple of old men sitting on a concrete bench outside. hypothesis: the men smoke a cigarette at the indoor bar.
contradiction: The men cannot be sitting on an outside bench and smoke indoor at the same time.