premise: A woman in a red shirt is riding an all white horse that is galloping along the trees. hypothesis: The woman is walking in the hallway.
contradiction: A woman can not be both walking and riding an all white horse at the same time.