premise: A person is walking in a city with a group of birds. hypothesis: A person is walking in a small town with a group of cats.
contradiction: The person cannot be walking in both a city and a small town.