premise: 4 men and 1 woman working at their computers in an office. hypothesis: Five workers have finished their coffee.
contradiction: The group cannot be working at their computers if they are finishing their coffee.