premise: A bald man with colored tattoos on his arms stops in the forest with two dogs. hypothesis: A bald man walks in the city.
contradiction: The man either stops in the forest or walks in the city.