premise: One man is trailing behind a black bull while the other stands nearby watching. hypothesis: One man rides the bull.
contradiction: The man cannot be trailing behind a black bull and riding a bull simultaneously.