premise: A man on an empty sidewalk near a structure with a backwards EC. hypothesis: A man is taking a cab home from work.
contradiction: One can not be taking a cab and on an empty sidewalk simultaneously.