premise: A man is illuminated by a street lamp as he walks towards a stately brick building with blue doors at night. hypothesis: A man is not illuminated.
contradiction: If the man is not illuminated, he cannot be illuminated.