both the scanting and the scouting abdominousness occurs.
sent1: the succussion happens and the cycle occurs if the time-releaseness does not occur. sent2: the postnuptialness happens if the electrotherapy does not occur. sent3: if the fact that the fortunateness does not occur hold the bibliopolicness and the sightseeing occurs. sent4: the downpour and the operationalness happens. sent5: the fact that the incandescence does not occur hold. sent6: the tactileness does not occur and the scouting cashmere does not occur. sent7: the fortunateness does not occur. sent8: if the fact that the Trojanness does not occur hold the fact that the hobbling does not occur is not wrong. sent9: the diligentness does not occur. sent10: if the establishing does not occur the bibliopolicness does not occur. sent11: that the ouster does not occur is not wrong. sent12: the postnuptialness does not occur. sent13: the March does not occur. sent14: the scouting abdominousness occurs. sent15: if the Boeotianness does not occur and the blastosphericness does not occur the scanting occurs. sent16: if the ferromagnetism does not occur then the surfeit happens and the diligentness occurs. sent17: both the nonsuppurativeness and the educationalness occurs if the multiple-choiceness does not occur. sent18: if the fact that both the non-Boeotianness and the non-blastosphericness occurs is false the establishing does not occur. sent19: that the fabrication does not occur is true. sent20: the journalism does not occur.
void -> assump1: Let's assume that that both the non-Boeotianness and the non-blastosphericness happens is false.; sent18 & assump1 -> int1: the establishing does not occur.; int1 & sent10 -> int2: the bibliopolicness does not occur.; sent3 & sent7 -> int3: both the bibliopolicness and the sightseeing happens.; int3 -> int4: the bibliopolicness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: both the non-Boeotianness and the non-blastosphericness occurs.; int6 & sent15 -> int7: the scanting happens.; int7 & sent14 -> hypothesis;
$hypothesis$ = both the scanting and the scouting abdominousness occurs. ; $context$ = sent1: the succussion happens and the cycle occurs if the time-releaseness does not occur. sent2: the postnuptialness happens if the electrotherapy does not occur. sent3: if the fact that the fortunateness does not occur hold the bibliopolicness and the sightseeing occurs. sent4: the downpour and the operationalness happens. sent5: the fact that the incandescence does not occur hold. sent6: the tactileness does not occur and the scouting cashmere does not occur. sent7: the fortunateness does not occur. sent8: if the fact that the Trojanness does not occur hold the fact that the hobbling does not occur is not wrong. sent9: the diligentness does not occur. sent10: if the establishing does not occur the bibliopolicness does not occur. sent11: that the ouster does not occur is not wrong. sent12: the postnuptialness does not occur. sent13: the March does not occur. sent14: the scouting abdominousness occurs. sent15: if the Boeotianness does not occur and the blastosphericness does not occur the scanting occurs. sent16: if the ferromagnetism does not occur then the surfeit happens and the diligentness occurs. sent17: both the nonsuppurativeness and the educationalness occurs if the multiple-choiceness does not occur. sent18: if the fact that both the non-Boeotianness and the non-blastosphericness occurs is false the establishing does not occur. sent19: that the fabrication does not occur is true. sent20: the journalism does not occur. ; $proof$ = 
void -> assump1: Let's assume that that both the non-Boeotianness and the non-blastosphericness happens is false.; sent18 & assump1 -> int1: the establishing does not occur.; int1 & sent10 -> int2: the bibliopolicness does not occur.; sent3 & sent7 -> int3: both the bibliopolicness and the sightseeing happens.; int3 -> int4: the bibliopolicness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: both the non-Boeotianness and the non-blastosphericness occurs.; int6 & sent15 -> int7: the scanting happens.; int7 & sent14 -> hypothesis; __PROVED__