premise: The bike rider runs with his red bike while another gains on him, both wearing green outfits and black helmets. hypothesis: Two bike riders are only wearing underwear.
contradiction: The bike rider cannot be wearing his green outfits and only underwear simultaneously.