premise: A man in a brown jacket is leading a black shire horse. hypothesis: The man is a knight of the White Walkers.
contradiction: The man can't be a knight of the White Walkers if he is leading a black horse.