premise: Two construction workers in a truck as the one in the helmet is about to turn the ignition. hypothesis: the workers are on the train.
contradiction: Workers can not be both in a truck and on a train.