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

Hypothesis: He has eventually located the coffee-cup.
Relation: entailment