premise: A man in a hard hat is wearing a blue shirt and blue jean overalls. hypothesis: A man in a hard hat is wearing no shirt and blue jeans overalls.
contradiction: If he is wearing a blue shirt, he is not wearing no shirt.