premise: A runner in a softball game slides into home while the catcher tries to tag her out. hypothesis: A runner is sleeping.
contradiction: The runner cannot be sliding into home and sleeping simultaneously.