premise: A worker making sure his machine is working correctly. hypothesis: The worker and the machine are coworkers.
contradiction: the worker can own his  machine or the worker and machine can be coworkers.