premise: One horse presses its nose to another horse in a field. hypothesis: The horses did not see each other.
contradiction: The horses that did not see each other could not have been the one horse that presses its nose to another hose.