premise: Three men are smiling and posing behind a truck loaded with various construction supplies. hypothesis: Three men are not smiling.
contradiction: Men who are smiling cannot be men who are not smiling at the same time.