premise: Four indoor cyclists are racing around a bend. hypothesis: The four indoor cyclists are out in the park.
contradiction: The indoor cyclists cannot be racing around a bend and be out in the park simultaneously.