Premise: So he has found the extra coffee-cup.

Hypothesis: He still has not located the coffee-cup.
Relation: contradiction