The hammer he swung must have weighed fifteen stones.
The hammer was very lightweight, so he swung it.
mnli hypothesis: The hammer was very lightweight, so he swung it. premise: The hammer he swung must have weighed fifteen stones.