the mortification does not occur.
sent1: the becoming hooks occurs and the overprinting strictness happens. sent2: both the ostealness and the anacoluthicness occurs. sent3: the affixalness happens and the bout does not occur. sent4: the fact that both the adnexalness and the non-mucinoidness occurs is not false. sent5: if the becoming hooks occurs and the aurifying happens the herd does not occur. sent6: the fact that the ennoblement does not occur is true. sent7: the overrunning gabbro happens. sent8: that the herd happens is brought about by that the adnexalness occurs and the mucinoidness does not occur. sent9: that the mortification occurs is caused by that not the aurifying but the overrunning gabbro happens.
sent1 -> int1: the becoming hooks occurs.; void -> assump1: Let's assume that the aurifying happens.; int1 & assump1 -> int2: the becoming hooks occurs and the aurifying happens.; int2 & sent5 -> int3: that the herding does not occur is right.; sent8 & sent4 -> int4: the herd occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the aurifying does not occur is correct.; int6 & sent7 -> int7: not the aurifying but the overrunning gabbro occurs.; int7 & sent9 -> hypothesis;
$hypothesis$ = the mortification does not occur. ; $context$ = sent1: the becoming hooks occurs and the overprinting strictness happens. sent2: both the ostealness and the anacoluthicness occurs. sent3: the affixalness happens and the bout does not occur. sent4: the fact that both the adnexalness and the non-mucinoidness occurs is not false. sent5: if the becoming hooks occurs and the aurifying happens the herd does not occur. sent6: the fact that the ennoblement does not occur is true. sent7: the overrunning gabbro happens. sent8: that the herd happens is brought about by that the adnexalness occurs and the mucinoidness does not occur. sent9: that the mortification occurs is caused by that not the aurifying but the overrunning gabbro happens. ; $proof$ = 
sent1 -> int1: the becoming hooks occurs.; void -> assump1: Let's assume that the aurifying happens.; int1 & assump1 -> int2: the becoming hooks occurs and the aurifying happens.; int2 & sent5 -> int3: that the herding does not occur is right.; sent8 & sent4 -> int4: the herd occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the aurifying does not occur is correct.; int6 & sent7 -> int7: not the aurifying but the overrunning gabbro occurs.; int7 & sent9 -> hypothesis; __DISPROVED__