premise: This man is the red shirt is waiting at a restaurant. hypothesis: The only people at the restaurant are women.
contradiction: There cannot be only women at the restaurant if a man is there also.