Premise: He decided that he must leave no stone unturned.

Hypothesis: No stone was left unturned when he was finished.
Relation: entailment