premise: A woman is crossing the street while a man looks at her. hypothesis: A woman is not crossing the street.
contradiction: A woman can't be crossing the street if she is not crossing the street at the same time.