premise: A person rides their bicycle onto a rock and balances on one wheel. hypothesis: the person is not riding.
contradiction: A person can not be both riding and not riding their bicycle simultaneously.