the annelid does not occur.
sent1: that the annelidness happens is prevented by that the topping Nelumbo and the grubbing quiz occurs. sent2: that the topping Nelumbo occurs is not wrong. sent3: the poundage occurs. sent4: if that the driving but not the malting objectivity happens is not true the poundage does not occur. sent5: the fact that the driving but not the malting objectivity occurs is not true if the divisionalness does not occur. sent6: that both the driving and the malting objectivity occurs is false. sent7: if the divisionalness happens the grubbing quiz happens.
void -> assump1: Let's assume that the fact that the divisionalness does not occur hold.; sent5 & assump1 -> int1: that the driving happens and the malting objectivity does not occur is incorrect.; int1 & sent4 -> int2: the poundage does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the divisionalness happens.; int4 & sent7 -> int5: the grubbing quiz occurs.; int5 & sent2 -> int6: the topping Nelumbo and the grubbing quiz happens.; int6 & sent1 -> hypothesis;
$hypothesis$ = the annelid does not occur. ; $context$ = sent1: that the annelidness happens is prevented by that the topping Nelumbo and the grubbing quiz occurs. sent2: that the topping Nelumbo occurs is not wrong. sent3: the poundage occurs. sent4: if that the driving but not the malting objectivity happens is not true the poundage does not occur. sent5: the fact that the driving but not the malting objectivity occurs is not true if the divisionalness does not occur. sent6: that both the driving and the malting objectivity occurs is false. sent7: if the divisionalness happens the grubbing quiz happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the divisionalness does not occur hold.; sent5 & assump1 -> int1: that the driving happens and the malting objectivity does not occur is incorrect.; int1 & sent4 -> int2: the poundage does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the divisionalness happens.; int4 & sent7 -> int5: the grubbing quiz occurs.; int5 & sent2 -> int6: the topping Nelumbo and the grubbing quiz happens.; int6 & sent1 -> hypothesis; __PROVED__