premise: The bike rider runs with his red bike while another gains on him, both wearing green outfits and black helmets. hypothesis: The bike rider is riding his bike.
contradiction: The bike rider cannot be running with his bike as well as riding his bike simultaneously.