The gambler brought the top book of the pile down on the bar with a thud.
The gambler took down a mathematics book from the pile.
mnli hypothesis: The gambler took down a mathematics book from the pile. premise: The gambler brought the top book of the pile down on the bar with a thud.