premise: A shirtless male gymnast in white tights spins on an Avai-brand sawhorse. hypothesis: The gymnast is on the mat.
contradiction: The gymnast cannot be on the mat while they are doing spins on the sawhorse as those are two different locations.