Premise:  All he had to do was to repair the sky.
Hypothesis: He had to fix the sky, which was broken.
Label: entailment