Text: He decided that he must leave no stone unturned.
Entailment: No stone was left unturned when he was finished.
Contradiction: His search was quick and efficient.