premise: Cyclist are riding through a park. hypothesis: Bikers are outside the park.
contradiction: They can only either be riding through a park or outside the park, they cannot do both simultaneously.