premise: A crowded restaurant is brightly lit with many people engaged with other people. hypothesis: The restaurant is dark.
contradiction: The restaurant cannot be brightly lit and dark at the same time.