premise: A man on a bicycle watching a row of cars waiting to go through a checkpoint. hypothesis: a man takes his bike for a sweet jump.
contradiction: the man cannot be watching and doing a sweet jump at the same time.