premise: A table of computer laptops and their users, in the background are people without computers. hypothesis: A table is empty.
contradiction: It a table is empty, it cannot be a table of computer laptops.