the cubicness does not occur.
sent1: if the debasing does not occur that the variegating peroxide does not occur hold. sent2: if the succumbing happens then the fact that the adjournment happens is not wrong. sent3: if the debasing does not occur the succumbing but not the variegating peroxide occurs. sent4: the Transportation occurs. sent5: that the cubicness occurs is not incorrect if the adjournment happens. sent6: that the diplomaticness occurs prevents that the depreciation does not occur. sent7: the jitteriness happens. sent8: that the fact that the compulsion happens is not right is true. sent9: if the succumbing does not occur then that not the debasing but the disobliging rickettsialpox occurs does not hold. sent10: either the disobliging rickettsialpox does not occur or the run occurs or both. sent11: the variegating peroxide does not occur. sent12: if either the disobliging rickettsialpox does not occur or the run happens or both then the disobliging rickettsialpox does not occur. sent13: the disobliging rickettsialpox occurs if the debasing happens. sent14: the deviationism happens. sent15: if the fact that the run does not occur and the disobliging shop happens is not correct then the adjournment does not occur.
void -> assump1: Let's assume that the debasing happens.; sent13 & assump1 -> int1: the disobliging rickettsialpox happens.; sent12 & sent10 -> int2: the disobliging rickettsialpox does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the debasing does not occur.; int4 & sent3 -> int5: the succumbing happens and the variegating peroxide does not occur.; int5 -> int6: the succumbing happens.; int6 & sent2 -> int7: the adjournment happens.; int7 & sent5 -> hypothesis;
the cubicness does not occur.
$hypothesis$ = the cubicness does not occur. ; $context$ = sent1: if the debasing does not occur that the variegating peroxide does not occur hold. sent2: if the succumbing happens then the fact that the adjournment happens is not wrong. sent3: if the debasing does not occur the succumbing but not the variegating peroxide occurs. sent4: the Transportation occurs. sent5: that the cubicness occurs is not incorrect if the adjournment happens. sent6: that the diplomaticness occurs prevents that the depreciation does not occur. sent7: the jitteriness happens. sent8: that the fact that the compulsion happens is not right is true. sent9: if the succumbing does not occur then that not the debasing but the disobliging rickettsialpox occurs does not hold. sent10: either the disobliging rickettsialpox does not occur or the run occurs or both. sent11: the variegating peroxide does not occur. sent12: if either the disobliging rickettsialpox does not occur or the run happens or both then the disobliging rickettsialpox does not occur. sent13: the disobliging rickettsialpox occurs if the debasing happens. sent14: the deviationism happens. sent15: if the fact that the run does not occur and the disobliging shop happens is not correct then the adjournment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the debasing happens.; sent13 & assump1 -> int1: the disobliging rickettsialpox happens.; sent12 & sent10 -> int2: the disobliging rickettsialpox does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the debasing does not occur.; int4 & sent3 -> int5: the succumbing happens and the variegating peroxide does not occur.; int5 -> int6: the succumbing happens.; int6 & sent2 -> int7: the adjournment happens.; int7 & sent5 -> hypothesis; __DISPROVED__