if the expulsion occurs then the smoothening does not occur.
sent1: if the ransoming occurs and the recission occurs the Papuanness does not occur. sent2: the focalization occurs. sent3: if the dinging sclerotium happens then the uneventfulness does not occur. sent4: if the expulsion occurs the smoothening happens. sent5: the fractionation happens. sent6: the vagary does not occur if the Slovenian occurs. sent7: the dinging ortygan does not occur if that the fact that the pleasantness and the dinging digest occurs does not hold is true. sent8: the imponderable occurs. sent9: that the expulsion does not occur is not false if the dinging keystone occurs and the skidding occurs. sent10: if the dinging ortygan does not occur then the fact that the dinging keystone but not the expulsion happens is not correct. sent11: the dinging sclerotium does not occur but the skidding occurs. sent12: the unsurmountableness and the conjunctiveness occurs. sent13: if the skid does not occur then the dinging sclerotium occurs. sent14: the ectomorphicness occurs. sent15: that the dinging keystone and the skid happens leads to that the expulsion happens. sent16: the arbitrariness occurs if the blockading happens. sent17: the dentalness does not occur. sent18: the asphalticness does not occur if the fact that the dinging keystone but not the expulsion occurs is false. sent19: that the dioeciousness does not occur hold. sent20: either the folding happens or the totalitarianness happens or both. sent21: the blockade does not occur if the fact that the imparting Sodom does not occur and the dentalness does not occur is incorrect. sent22: if the dinging ortygan occurs the arbitrariness happens. sent23: the smoothening is prevented by that the dinging Christendom does not occur and the dinging keystone does not occur. sent24: the dinging ortygan happens or the blockade happens or both if the dentalness does not occur. sent25: the sinistralness does not occur. sent26: if the arbitrariness happens then the dinging Christendom does not occur. sent27: if the drum does not occur and the multilaneness does not occur the accommodativeness does not occur.
sent11 -> int1: the skid happens.; void -> assump2: Let's assume that the dinging keystone happens.; int1 & assump2 -> int2: the dinging keystone happens and the skidding happens.; int2 & sent9 -> int3: the fact that the expulsion does not occur hold.; void -> assump1: Let's assume that the expulsion happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dinging keystone does not occur.; sent24 & sent17 -> int6: the dinging ortygan happens or the blockade occurs or both.; int6 & sent22 & sent16 -> int7: the arbitrariness occurs.; sent26 & int7 -> int8: the dinging Christendom does not occur.; int5 & int8 -> int9: the dinging Christendom does not occur and the dinging keystone does not occur.; int9 & sent23 -> int10: the smoothening does not occur.; [assump1] & int10 -> hypothesis;
the uneventfulness does not occur and the asphalticness does not occur.
$hypothesis$ = if the expulsion occurs then the smoothening does not occur. ; $context$ = sent1: if the ransoming occurs and the recission occurs the Papuanness does not occur. sent2: the focalization occurs. sent3: if the dinging sclerotium happens then the uneventfulness does not occur. sent4: if the expulsion occurs the smoothening happens. sent5: the fractionation happens. sent6: the vagary does not occur if the Slovenian occurs. sent7: the dinging ortygan does not occur if that the fact that the pleasantness and the dinging digest occurs does not hold is true. sent8: the imponderable occurs. sent9: that the expulsion does not occur is not false if the dinging keystone occurs and the skidding occurs. sent10: if the dinging ortygan does not occur then the fact that the dinging keystone but not the expulsion happens is not correct. sent11: the dinging sclerotium does not occur but the skidding occurs. sent12: the unsurmountableness and the conjunctiveness occurs. sent13: if the skid does not occur then the dinging sclerotium occurs. sent14: the ectomorphicness occurs. sent15: that the dinging keystone and the skid happens leads to that the expulsion happens. sent16: the arbitrariness occurs if the blockading happens. sent17: the dentalness does not occur. sent18: the asphalticness does not occur if the fact that the dinging keystone but not the expulsion occurs is false. sent19: that the dioeciousness does not occur hold. sent20: either the folding happens or the totalitarianness happens or both. sent21: the blockade does not occur if the fact that the imparting Sodom does not occur and the dentalness does not occur is incorrect. sent22: if the dinging ortygan occurs the arbitrariness happens. sent23: the smoothening is prevented by that the dinging Christendom does not occur and the dinging keystone does not occur. sent24: the dinging ortygan happens or the blockade happens or both if the dentalness does not occur. sent25: the sinistralness does not occur. sent26: if the arbitrariness happens then the dinging Christendom does not occur. sent27: if the drum does not occur and the multilaneness does not occur the accommodativeness does not occur. ; $proof$ = 
sent11 -> int1: the skid happens.; void -> assump2: Let's assume that the dinging keystone happens.; int1 & assump2 -> int2: the dinging keystone happens and the skidding happens.; int2 & sent9 -> int3: the fact that the expulsion does not occur hold.; void -> assump1: Let's assume that the expulsion happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dinging keystone does not occur.; sent24 & sent17 -> int6: the dinging ortygan happens or the blockade occurs or both.; int6 & sent22 & sent16 -> int7: the arbitrariness occurs.; sent26 & int7 -> int8: the dinging Christendom does not occur.; int5 & int8 -> int9: the dinging Christendom does not occur and the dinging keystone does not occur.; int9 & sent23 -> int10: the smoothening does not occur.; [assump1] & int10 -> hypothesis; __PROVED__