premise: A runner slides into second base while the shortstop waits for the ball. hypothesis: A runner slides into first base while the shortstop waits for the ball.
contradiction: second is not first.