if the ugliness does not occur the atmosphericness does not occur.
sent1: the prelacy does not occur and the belaboring rijsttaffel does not occur if the Justice does not occur. sent2: the expulsion is prevented by that the prelacy does not occur and the quarters does not occur. sent3: the gutsyness is caused by that the gutsy does not occur or the weaving occurs or both. sent4: if the polymericness happens then the remediableness does not occur and the newsreel does not occur. sent5: if the newsreel does not occur the mulcting know does not occur and the Gibraltarianness happens. sent6: the buildup happens if the atmosphericness occurs. sent7: that the ugliness occurs is caused by that the buildup occurs. sent8: the roaring and the atmosphericness occurs if the buildup does not occur. sent9: the slaughter does not occur. sent10: the atmosphericness occurs if the ugliness does not occur. sent11: if the fact that the divide does not occur but the philandering training occurs is not right then the polymericness occurs. sent12: the mulcting fixture does not occur. sent13: the analphabeticness occurs. sent14: the quartering does not occur and the nonconductiveness does not occur if the Honduran does not occur. sent15: that not the Honduran but the catapulting tear occurs is triggered by that the gutlessness does not occur. sent16: the decompression happens. sent17: if the decompression occurs then the fact that that the divide does not occur but the philandering training occurs hold is incorrect. sent18: that the gutsyness and/or the weaving occurs if the analphabeticness happens is true. sent19: that the atmosphericness occurs is prevented by that the ugliness happens. sent20: that both the ugliness and the catapulting taipan happens is incorrect if the expulsion does not occur. sent21: if the mulcting know does not occur but the Gibraltarianness happens the Justice does not occur.
void -> assump1: Let's assume that the atmosphericness happens.; sent6 & assump1 -> int1: the buildup occurs.; sent7 & int1 -> int2: the fact that the ugliness happens is not incorrect.; void -> assump2: Let's assume that the ugliness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the atmosphericness does not occur.; [assump2] & int4 -> hypothesis;
the roaring occurs.
sent17 & sent16 -> int5: that the dividing does not occur and the philandering training happens is false.; sent11 & int5 -> int6: the polymericness occurs.; sent4 & int6 -> int7: the remediableness does not occur and the newsreel does not occur.; int7 -> int8: the newsreel does not occur.; sent5 & int8 -> int9: the mulcting know does not occur but the Gibraltarianness happens.; sent21 & int9 -> int10: the Justice does not occur.; sent1 & int10 -> int11: the prelacy does not occur and the belaboring rijsttaffel does not occur.; int11 -> int12: the prelacy does not occur.; sent18 & sent13 -> int13: either the gutlessness does not occur or the weaving occurs or both.; sent3 & int13 -> int14: the gutlessness does not occur.; sent15 & int14 -> int15: the Honduran does not occur and the catapulting tear occurs.; int15 -> int16: the Honduran does not occur.; sent14 & int16 -> int17: the quartering does not occur and the nonconductiveness does not occur.; int17 -> int18: that the quarters does not occur hold.; int12 & int18 -> int19: the prelacy does not occur and the quartering does not occur.; sent2 & int19 -> int20: the expulsion does not occur.; sent20 & int20 -> int21: the fact that the ugliness happens and the catapulting taipan occurs is incorrect.;
$hypothesis$ = if the ugliness does not occur the atmosphericness does not occur. ; $context$ = sent1: the prelacy does not occur and the belaboring rijsttaffel does not occur if the Justice does not occur. sent2: the expulsion is prevented by that the prelacy does not occur and the quarters does not occur. sent3: the gutsyness is caused by that the gutsy does not occur or the weaving occurs or both. sent4: if the polymericness happens then the remediableness does not occur and the newsreel does not occur. sent5: if the newsreel does not occur the mulcting know does not occur and the Gibraltarianness happens. sent6: the buildup happens if the atmosphericness occurs. sent7: that the ugliness occurs is caused by that the buildup occurs. sent8: the roaring and the atmosphericness occurs if the buildup does not occur. sent9: the slaughter does not occur. sent10: the atmosphericness occurs if the ugliness does not occur. sent11: if the fact that the divide does not occur but the philandering training occurs is not right then the polymericness occurs. sent12: the mulcting fixture does not occur. sent13: the analphabeticness occurs. sent14: the quartering does not occur and the nonconductiveness does not occur if the Honduran does not occur. sent15: that not the Honduran but the catapulting tear occurs is triggered by that the gutlessness does not occur. sent16: the decompression happens. sent17: if the decompression occurs then the fact that that the divide does not occur but the philandering training occurs hold is incorrect. sent18: that the gutsyness and/or the weaving occurs if the analphabeticness happens is true. sent19: that the atmosphericness occurs is prevented by that the ugliness happens. sent20: that both the ugliness and the catapulting taipan happens is incorrect if the expulsion does not occur. sent21: if the mulcting know does not occur but the Gibraltarianness happens the Justice does not occur. ; $proof$ = 
void -> assump1: Let's assume that the atmosphericness happens.; sent6 & assump1 -> int1: the buildup occurs.; sent7 & int1 -> int2: the fact that the ugliness happens is not incorrect.; void -> assump2: Let's assume that the ugliness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the atmosphericness does not occur.; [assump2] & int4 -> hypothesis; __PROVED__