the fact that the furrowing switchman occurs is not wrong.
sent1: the drumbeat occurs and the eudemonicness occurs if the vesicalness does not occur. sent2: if the assassination happens the vesicalness does not occur. sent3: the assassination and the vicennialness happens. sent4: that the dunging does not occur brings about that the clementness and the non-infrequentness happens. sent5: that the furrowing switchman does not occur is prevented by that the nuclearness does not occur but the drumbeat happens. sent6: the enlivening tetrodotoxin does not occur if that the fetoscopy does not occur and the enlivening Lupinus does not occur is not right. sent7: that that the fetoscopy does not occur and the enlivening Lupinus does not occur is not right hold. sent8: the enlivening tetrodotoxin happens if the dunging happens. sent9: that both the clementness and the non-infrequentness occurs leads to that the nuclearness does not occur.
void -> assump1: Let's assume that the dunging happens.; sent8 & assump1 -> int1: the enlivening tetrodotoxin occurs.; sent6 & sent7 -> int2: the enlivening tetrodotoxin does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dunging does not occur.; int4 & sent4 -> int5: the clementness happens and the infrequentness does not occur.; int5 & sent9 -> int6: the nuclearness does not occur.; sent3 -> int7: the assassination occurs.; sent2 & int7 -> int8: the vesicalness does not occur.; sent1 & int8 -> int9: both the drumbeat and the eudemonicness occurs.; int9 -> int10: the drumbeat happens.; int6 & int10 -> int11: both the non-nuclearness and the drumbeat occurs.; int11 & sent5 -> hypothesis;
$hypothesis$ = the fact that the furrowing switchman occurs is not wrong. ; $context$ = sent1: the drumbeat occurs and the eudemonicness occurs if the vesicalness does not occur. sent2: if the assassination happens the vesicalness does not occur. sent3: the assassination and the vicennialness happens. sent4: that the dunging does not occur brings about that the clementness and the non-infrequentness happens. sent5: that the furrowing switchman does not occur is prevented by that the nuclearness does not occur but the drumbeat happens. sent6: the enlivening tetrodotoxin does not occur if that the fetoscopy does not occur and the enlivening Lupinus does not occur is not right. sent7: that that the fetoscopy does not occur and the enlivening Lupinus does not occur is not right hold. sent8: the enlivening tetrodotoxin happens if the dunging happens. sent9: that both the clementness and the non-infrequentness occurs leads to that the nuclearness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dunging happens.; sent8 & assump1 -> int1: the enlivening tetrodotoxin occurs.; sent6 & sent7 -> int2: the enlivening tetrodotoxin does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dunging does not occur.; int4 & sent4 -> int5: the clementness happens and the infrequentness does not occur.; int5 & sent9 -> int6: the nuclearness does not occur.; sent3 -> int7: the assassination occurs.; sent2 & int7 -> int8: the vesicalness does not occur.; sent1 & int8 -> int9: both the drumbeat and the eudemonicness occurs.; int9 -> int10: the drumbeat happens.; int6 & int10 -> int11: both the non-nuclearness and the drumbeat occurs.; int11 & sent5 -> hypothesis; __PROVED__