the fact that the hammer happens is not false.
sent1: that the capitularness and the hammering happens is wrong if the scrolling does not occur. sent2: the non-capitularness is prevented by the impureness. sent3: that the scroll does not occur is brought about by that the reassailing tadalafil does not occur and the bloomers does not occur. sent4: the subordinatingness occurs. sent5: the scroll prevents that the hammer does not occur. sent6: if the capitularness occurs the scrolling occurs. sent7: the impureness occurs. sent8: if the reassailing tadalafil does not occur then not the capitularness but the scroll happens. sent9: if the enlivening Frey does not occur the reassailing tadalafil does not occur and the bloomers does not occur.
sent2 & sent7 -> int1: the capitularness occurs.; sent6 & int1 -> int2: that the scroll happens is true.; sent5 & int2 -> hypothesis;
the hammering does not occur.
$hypothesis$ = the fact that the hammer happens is not false. ; $context$ = sent1: that the capitularness and the hammering happens is wrong if the scrolling does not occur. sent2: the non-capitularness is prevented by the impureness. sent3: that the scroll does not occur is brought about by that the reassailing tadalafil does not occur and the bloomers does not occur. sent4: the subordinatingness occurs. sent5: the scroll prevents that the hammer does not occur. sent6: if the capitularness occurs the scrolling occurs. sent7: the impureness occurs. sent8: if the reassailing tadalafil does not occur then not the capitularness but the scroll happens. sent9: if the enlivening Frey does not occur the reassailing tadalafil does not occur and the bloomers does not occur. ; $proof$ = 
sent2 & sent7 -> int1: the capitularness occurs.; sent6 & int1 -> int2: that the scroll happens is true.; sent5 & int2 -> hypothesis; __PROVED__