premise: Two basketball players oppose each other at the net. hypothesis: The two basketball players are by the halfcout line.
contradiction: The players cannot be at the halfcout line and at the net at the same time.