premise: Two men are sitting at a table, one of them smoking, with two drinks on their table staring out into the area in front of them. hypothesis: Businessmen have lunch in the no-smoking section.
contradiction: Men do not have to be business men.