premise: A group of 14 men are standing up stairs with a pair of men on each stair with identical shirts on except for one. hypothesis: twelve ladies eat pasta.
contradiction: !4 men are not twelve ladies.