Premise: Maybe these two should have lunch sometime.
Hypothesis: It is not possible that they could have lunch together. 
Label: contradiction