Take the following as truth: The hammer he swung must have weighed fifteen stones.
Then the following statement: "He swung the hammer, even though it was quite heavy for him." is true, false, or inconclusive?