premise: 2 men are wrestling and are in midair, while the referee and spectators observe. hypothesis: Two men are having a nice dinner.
contradiction: The men cannot be wrestling and having dinner simultaneously.