premise: A catcher tags out a baseball player sliding into home. hypothesis: A catcher missed a baseball player sliding into home.
contradiction: The catcher either tags out the player or missed the player.