premise: Five ballet dancers caught mid jump in a dancing studio with sunlight coming through a window. hypothesis: A dancing studio is unoccupied.
contradiction: it is not possible to have an unoccupied studio and five dancers inside.