premise: Several employees working on an underground rail track. hypothesis: Several employees working on an above ground rail track.
contradiction: One can not be underground and above ground simultaneously.