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

Hypothesis: He is showing that they were correct.
Relation: entailment