premise: A giant shovel machine works away at a construction sight full of dirt. hypothesis: The machine is moving very fast forward.
contradiction: machine which works away cannot be a machine moving fast at the same time.