premise: Four cyclists, two male, one female, and one of indeterminate gender, in a bike race in a european country. hypothesis: The woman is iceskating at the park.
contradiction: One cannot be in a bike race and iceskate at the same time.