Premise: To their good fortune, he's proving them right.

Hypothesis: He is showing that they guessed correctly.
Relation: entailment