premise: One old homeless guy walks by the park. hypothesis: A homeless man inside a local shelter.
contradiction: The homeless man cannot be in two places at once, therefore he cannot be in the park and in the homeless shelter.