premise: A man operates a piece of machinery as another worker in an orange vest watches. hypothesis: The worker is asleep at home.
contradiction: The worker can not be asleep at home if he is working.