premise: A monk is walking through the city. hypothesis: The moonk runs through the forest carrying the Holy Grail.
contradiction: The monk is either walking through the city or running through the forest.