Premise: The hammer he swung must have weighed fifteen stones.

Hypothesis: He swung the hammer, despite the fact it weighed about 15 stones.
Relation: entailment