He decided that he must leave no stone unturned.
No stone was left unturned when he was finished.
mnli hypothesis: No stone was left unturned when he was finished. premise: He decided that he must leave no stone unturned.