premise: A man is riding a horse while 3 other empty-saddled horses follow. hypothesis: The horses have captured the man and are taking him to their leader.
contradiction: The horses cannot be taking the man anywhere if they really only follow him.