not the slagging Septobasidiaceae but the pegging terbinafine occurs.
sent1: that the maliciousness happens yields that the slagging Septobasidiaceae does not occur. sent2: the pegging terbinafine happens if the sexagesimalness does not occur and the monometallicness occurs. sent3: the matriarchalness happens if the maliciousness does not occur. sent4: the fact that not the decrepitation but the cascading happens does not hold. sent5: the rummaging Mongol happens and the matriarchalness happens if that the maliciousness does not occur is true. sent6: if the rummaging Mongol happens then that the slagging Septobasidiaceae does not occur but the pegging terbinafine happens does not hold. sent7: the fact that the maliciousness does not occur hold.
sent5 & sent7 -> int1: the rummaging Mongol and the matriarchalness happens.; int1 -> int2: the rummaging Mongol happens.; sent6 & int2 -> hypothesis;
the slagging Septobasidiaceae does not occur and the pegging terbinafine happens.
$hypothesis$ = not the slagging Septobasidiaceae but the pegging terbinafine occurs. ; $context$ = sent1: that the maliciousness happens yields that the slagging Septobasidiaceae does not occur. sent2: the pegging terbinafine happens if the sexagesimalness does not occur and the monometallicness occurs. sent3: the matriarchalness happens if the maliciousness does not occur. sent4: the fact that not the decrepitation but the cascading happens does not hold. sent5: the rummaging Mongol happens and the matriarchalness happens if that the maliciousness does not occur is true. sent6: if the rummaging Mongol happens then that the slagging Septobasidiaceae does not occur but the pegging terbinafine happens does not hold. sent7: the fact that the maliciousness does not occur hold. ; $proof$ = 
sent5 & sent7 -> int1: the rummaging Mongol and the matriarchalness happens.; int1 -> int2: the rummaging Mongol happens.; sent6 & int2 -> hypothesis; __DISPROVED__