premise: Aerial view of a computer lab or library with several users on a computer. hypothesis: The computer lab is full of monsters.
contradiction: The computer lab cannot be full of monsters if there are only several users.