that the smacking and the wailing inviting happens does not hold.
sent1: that the qualitativeness happens and the sarcolemmalness occurs does not hold. sent2: if the publication does not occur the fact that the qualitativeness does not occur but the sarcolemmalness occurs is not true. sent3: if the publication does not occur then the fact that the qualitativeness happens and the sarcolemmalness occurs is false. sent4: the abhorring happens. sent5: that the smack occurs is not incorrect if the fact that the maintaining widow occurs and the maintaining Spain does not occur is incorrect. sent6: that the maintaining widow occurs and the maintaining Spain happens does not hold. sent7: if the maintaining Spain happens then the smacking occurs. sent8: if the abhorring occurs then not the qualitativeness but the sarcolemmalness occurs. sent9: if the publication happens and/or the radiography occurs then the fact that the bribery does not occur is right. sent10: that both the maintaining widow and the maintaining Spain happens does not hold if the bribery does not occur. sent11: the fact that the qualitativeness does not occur is true. sent12: that the maintaining widow but not the maintaining Spain occurs does not hold if the bribery does not occur. sent13: the radiography brings about that the bribery does not occur. sent14: the wailing inviting happens.
void -> assump1: Let's assume that the publication does not occur.; sent2 & assump1 -> int1: the fact that the non-qualitativeness and the sarcolemmalness happens does not hold.; sent8 & sent4 -> int2: the non-qualitativeness and the sarcolemmalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the publication occurs.; int4 -> int5: either the publication happens or the radiography occurs or both.; int5 & sent9 -> int6: the bribery does not occur.; int6 & sent12 -> int7: the fact that the maintaining widow occurs but the maintaining Spain does not occur does not hold.; int7 & sent5 -> int8: the smack happens.; int8 & sent14 -> hypothesis;
the fact that the smacking and the wailing inviting occurs does not hold.
 -> hypothesis;
$hypothesis$ = that the smacking and the wailing inviting happens does not hold. ; $context$ = sent1: that the qualitativeness happens and the sarcolemmalness occurs does not hold. sent2: if the publication does not occur the fact that the qualitativeness does not occur but the sarcolemmalness occurs is not true. sent3: if the publication does not occur then the fact that the qualitativeness happens and the sarcolemmalness occurs is false. sent4: the abhorring happens. sent5: that the smack occurs is not incorrect if the fact that the maintaining widow occurs and the maintaining Spain does not occur is incorrect. sent6: that the maintaining widow occurs and the maintaining Spain happens does not hold. sent7: if the maintaining Spain happens then the smacking occurs. sent8: if the abhorring occurs then not the qualitativeness but the sarcolemmalness occurs. sent9: if the publication happens and/or the radiography occurs then the fact that the bribery does not occur is right. sent10: that both the maintaining widow and the maintaining Spain happens does not hold if the bribery does not occur. sent11: the fact that the qualitativeness does not occur is true. sent12: that the maintaining widow but not the maintaining Spain occurs does not hold if the bribery does not occur. sent13: the radiography brings about that the bribery does not occur. sent14: the wailing inviting happens. ; $proof$ = 
void -> assump1: Let's assume that the publication does not occur.; sent2 & assump1 -> int1: the fact that the non-qualitativeness and the sarcolemmalness happens does not hold.; sent8 & sent4 -> int2: the non-qualitativeness and the sarcolemmalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the publication occurs.; int4 -> int5: either the publication happens or the radiography occurs or both.; int5 & sent9 -> int6: the bribery does not occur.; int6 & sent12 -> int7: the fact that the maintaining widow occurs but the maintaining Spain does not occur does not hold.; int7 & sent5 -> int8: the smack happens.; int8 & sent14 -> hypothesis; __DISPROVED__