premise: A man with a yellow jacket walks his bicycle past a bicycle shop. hypothesis: The man enters the bicycle shop.
contradiction: The man cannot walk his bicycle past the bicycle shop and enter the shop simultaneously.