premise: A man is riding a bike along a dirt trail. hypothesis: The man is riding a horse.
contradiction: A horse and a bike are not the same thing.|contradiction: If a man is riding a bike the man is not riding a horse.|contradiction: A man cannot ride a bike and ride a horse at the same time.