premise: Three people are riding a carriage pulled by four horses. hypothesis: The oxen are pulling the carriage.
contradiction: The carriage is either being pulled by four horses or by oxen.|contradiction: The carriage is either being pulled by four horses or oxen, not both.|contradiction: If the carriage is being pulled by four horses it is not being pulled by oxen.