premise: Two men are sitting on a bench outside, and one is pointing to something to show the other man. hypothesis: Two women are sitting on a bench outside.
contradiction: Cannot be two men and two women simultaneously.