premise: Three workers are lifting a red sack while another sits on a floating dock. hypothesis: The workers are sitting around.
contradiction: The workers cannot be lifting sacks if they are all just sitting around.