the bespangling aeration does not occur.
sent1: if the leonineness happens the pleasantness happens. sent2: if that the tympanicness does not occur hold then the pedaling and the tribuneship occurs. sent3: that the packaging and the destining disjunction happens does not hold if the destining truncheon does not occur. sent4: the narcoticness happens. sent5: the cuneiform happens. sent6: if the pity occurs both the non-tympanicness and the inclemency occurs. sent7: not the bespangling landscaper but the takeaway happens. sent8: the tribuneship does not occur. sent9: that the bespangling aeration and the payback happens is caused by that the movie does not occur. sent10: the modestness happens. sent11: the tympanicness occurs. sent12: the fact that both the pedaling and the non-botanicness happens is not correct if the tribuneship does not occur. sent13: both the payback and the movie occurs. sent14: the acquiescence occurs. sent15: that both the pedaling and the botanicness happens is not correct. sent16: that both the fractionation and the scalding fishpond occurs is not right if the idiomaticness does not occur. sent17: the payback yields that the eviction happens. sent18: if the fact that the scalding hermitage happens and the bespangling cutin does not occur is wrong the pity happens. sent19: the takeaway occurs. sent20: if the non-acatalecticness and the non-botanicness happens the eviction does not occur. sent21: the destining cruiserweight happens. sent22: the bespangling aeration does not occur if the chicane does not occur and the botanicness occurs. sent23: the destining fluphenazine happens. sent24: the sacrifice does not occur. sent25: that the movie occurs but the chicane does not occur is false if the eviction does not occur. sent26: if that both the pedaling and the non-botanicness occurs is not true the fact that the non-botanic occurs is correct. sent27: if the chicane and the eviction occurs the acatalectic does not occur. sent28: the acatalectic happens and the tympanicness occurs.
sent13 -> int1: that the payback happens is right.; int1 & sent17 -> int2: the eviction happens.; void -> assump1: Let's assume that the chicane occurs.; int2 & assump1 -> int3: the chicane and the eviction occurs.; int3 & sent27 -> int4: the acatalectic does not occur.; sent28 -> int5: the acatalecticness occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the chicane does not occur.; sent12 & sent8 -> int8: that both the pedaling and the non-botanicness occurs is incorrect.; sent26 & int8 -> int9: the botanicness happens.; int7 & int9 -> int10: not the chicane but the botanicness occurs.; int10 & sent22 -> hypothesis;
the bespangling aeration occurs.
$hypothesis$ = the bespangling aeration does not occur. ; $context$ = sent1: if the leonineness happens the pleasantness happens. sent2: if that the tympanicness does not occur hold then the pedaling and the tribuneship occurs. sent3: that the packaging and the destining disjunction happens does not hold if the destining truncheon does not occur. sent4: the narcoticness happens. sent5: the cuneiform happens. sent6: if the pity occurs both the non-tympanicness and the inclemency occurs. sent7: not the bespangling landscaper but the takeaway happens. sent8: the tribuneship does not occur. sent9: that the bespangling aeration and the payback happens is caused by that the movie does not occur. sent10: the modestness happens. sent11: the tympanicness occurs. sent12: the fact that both the pedaling and the non-botanicness happens is not correct if the tribuneship does not occur. sent13: both the payback and the movie occurs. sent14: the acquiescence occurs. sent15: that both the pedaling and the botanicness happens is not correct. sent16: that both the fractionation and the scalding fishpond occurs is not right if the idiomaticness does not occur. sent17: the payback yields that the eviction happens. sent18: if the fact that the scalding hermitage happens and the bespangling cutin does not occur is wrong the pity happens. sent19: the takeaway occurs. sent20: if the non-acatalecticness and the non-botanicness happens the eviction does not occur. sent21: the destining cruiserweight happens. sent22: the bespangling aeration does not occur if the chicane does not occur and the botanicness occurs. sent23: the destining fluphenazine happens. sent24: the sacrifice does not occur. sent25: that the movie occurs but the chicane does not occur is false if the eviction does not occur. sent26: if that both the pedaling and the non-botanicness occurs is not true the fact that the non-botanic occurs is correct. sent27: if the chicane and the eviction occurs the acatalectic does not occur. sent28: the acatalectic happens and the tympanicness occurs. ; $proof$ = 
sent13 -> int1: that the payback happens is right.; int1 & sent17 -> int2: the eviction happens.; void -> assump1: Let's assume that the chicane occurs.; int2 & assump1 -> int3: the chicane and the eviction occurs.; int3 & sent27 -> int4: the acatalectic does not occur.; sent28 -> int5: the acatalecticness occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the chicane does not occur.; sent12 & sent8 -> int8: that both the pedaling and the non-botanicness occurs is incorrect.; sent26 & int8 -> int9: the botanicness happens.; int7 & int9 -> int10: not the chicane but the botanicness occurs.; int10 & sent22 -> hypothesis; __PROVED__