premise: A man with glasses and black coat pushing a cart full of bags on a travelator. hypothesis: A man is not on a travelator.
contradiction: On a travellator and not on a travellator are two different spaces.