premise: Two miners work in a large pit. hypothesis: Workers are at an employee meeting.
contradiction: Not all workers are miners, they are either working or at an employee meeting, they can not be at both.