Text: So he has found the extra coffee-cup.
Entailment: He has eventually located the coffee-cup.
Contradiction: He still has not located the coffee-cup.