the disobedience happens and the netball does not occur if the knotting annotation does not occur.
sent1: the fact that the sociologicalness does not occur hold. sent2: the netball does not occur. sent3: that the fact that the fussing does not occur and the disobedience happens is not correct is right if the netball occurs. sent4: the pranging does not occur. sent5: if the acculturationalness does not occur the blinkering Belfast but not the wipeout happens. sent6: the custody does not occur or the knotting annotation does not occur or both if the malignness does not occur. sent7: the mammalianness does not occur. sent8: the phonogramicness does not occur or the polarography does not occur or both. sent9: the fitting happens. sent10: if the malignness does not occur then the disobedience happens. sent11: the calculation is caused by that the beading does not occur. sent12: the fact that the meaningfulness does not occur is not false. sent13: the preening does not occur. sent14: the fact that the regimentation happens is right. sent15: the tankage occurs. sent16: if the acculturationalness does not occur that the funicularness happens is true. sent17: if the fuss does not occur then the disobedience happens. sent18: if the custody occurs then that the knotting annotation happens is correct. sent19: the spritzing does not occur. sent20: if the custody does not occur the fussing does not occur and/or the malignness does not occur. sent21: the sequestration does not occur or the actinomycoticness does not occur or both. sent22: if the fact that the Mishnaicness does not occur is not incorrect then the redundancy but not the blinkering Nicaraguan occurs. sent23: the knotting annotation yields that the disobedience but not the netball occurs.
void -> assump1: Let's assume that the custody occurs.; sent18 & assump1 -> int1: the knotting annotation occurs.; void -> assump2: Let's assume that the knotting annotation does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the custody does not occur hold.; int3 & sent20 -> int4: either the fussing does not occur or the malignness does not occur or both.; int4 & sent17 & sent10 -> int5: the disobedience happens.; int5 & sent2 -> int6: the disobedience but not the netball happens.; [assump2] & int6 -> hypothesis;
the rushing does not occur.
$hypothesis$ = the disobedience happens and the netball does not occur if the knotting annotation does not occur. ; $context$ = sent1: the fact that the sociologicalness does not occur hold. sent2: the netball does not occur. sent3: that the fact that the fussing does not occur and the disobedience happens is not correct is right if the netball occurs. sent4: the pranging does not occur. sent5: if the acculturationalness does not occur the blinkering Belfast but not the wipeout happens. sent6: the custody does not occur or the knotting annotation does not occur or both if the malignness does not occur. sent7: the mammalianness does not occur. sent8: the phonogramicness does not occur or the polarography does not occur or both. sent9: the fitting happens. sent10: if the malignness does not occur then the disobedience happens. sent11: the calculation is caused by that the beading does not occur. sent12: the fact that the meaningfulness does not occur is not false. sent13: the preening does not occur. sent14: the fact that the regimentation happens is right. sent15: the tankage occurs. sent16: if the acculturationalness does not occur that the funicularness happens is true. sent17: if the fuss does not occur then the disobedience happens. sent18: if the custody occurs then that the knotting annotation happens is correct. sent19: the spritzing does not occur. sent20: if the custody does not occur the fussing does not occur and/or the malignness does not occur. sent21: the sequestration does not occur or the actinomycoticness does not occur or both. sent22: if the fact that the Mishnaicness does not occur is not incorrect then the redundancy but not the blinkering Nicaraguan occurs. sent23: the knotting annotation yields that the disobedience but not the netball occurs. ; $proof$ = 
void -> assump1: Let's assume that the custody occurs.; sent18 & assump1 -> int1: the knotting annotation occurs.; void -> assump2: Let's assume that the knotting annotation does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the custody does not occur hold.; int3 & sent20 -> int4: either the fussing does not occur or the malignness does not occur or both.; int4 & sent17 & sent10 -> int5: the disobedience happens.; int5 & sent2 -> int6: the disobedience but not the netball happens.; [assump2] & int6 -> hypothesis; __PROVED__