premise: Two swimmers competing in swim competition. hypothesis: There is an empty pool with no one around.
contradiction: it is not possible to have competing swimmers and empty pool at the same time.