The hammer he swung must have weighed fifteen stones.
He swung the hammer, despite the fact it weighed about 15 stones.
mnli hypothesis: He swung the hammer, despite the fact it weighed about 15 stones. premise: The hammer he swung must have weighed fifteen stones.