Ah! the Coroner leant back satisfied. 
The coroner was pleased that he'd solved the case.
mnli hypothesis: The coroner was pleased that he'd solved the case. premise: Ah! the Coroner leant back satisfied. 