the catkinateness occurs.
sent1: the upholding happens if the prioritizing bottomland happens. sent2: that the curatorialness does not occur and the wending does not occur is not correct if the wreck happens. sent3: if the provocativeness does not occur then that the wending happens and the curatorialness happens does not hold. sent4: the sipping does not occur. sent5: the prioritizing bottomland does not occur but the wrecking occurs. sent6: the pancreatectomy does not occur and the rebuilding does not occur if the prioritizing cruise does not occur. sent7: that the curatorialness does not occur is triggered by that the walk-in does not occur and the crustaceousness does not occur. sent8: the Manichaean does not occur if the primateship does not occur and the laterness does not occur. sent9: the prioritizing cruise does not occur. sent10: that the comfortableness does not occur or that the Manichaean does not occur or both prevents that the maleficentness occurs. sent11: if the maleficentness does not occur then the souring happens and/or the prioritizing cruise happens. sent12: if the hefting chessboard occurs the catkinateness occurs. sent13: if the comfortableness does not occur the prioritizing bottomland happens and/or the prioritizing cruise happens. sent14: that the pancreatectomy does not occur but the provocativeness occurs triggers that the hefting chessboard happens. sent15: the upholding does not occur. sent16: that the parenteralness occurs is not false. sent17: the non-Manichaeanness yields the non-maleficentness. sent18: if the hefting chessboard occurs and the pancreatectomy happens the provocativeness does not occur. sent19: that the prioritizing bottomland happens leads to that the rebuilding but not the upholding happens. sent20: the upholding does not occur and the wending does not occur. sent21: the Manichaeanness does not occur. sent22: the wending brings about that the papering occurs. sent23: if the rumpling does not occur and the bar occurs the stick does not occur. sent24: if the fact that the walk-in does not occur and the crustaceousness does not occur is wrong then that the provocativeness happens hold. sent25: if both the rebuilding and the upholding happens the wreck does not occur. sent26: the primateship does not occur and the laterness does not occur. sent27: that the papering happens is brought about by the curatorialness.
void -> assump1: Let's assume that the walk-in does not occur and the crustaceousness does not occur.; sent7 & assump1 -> int1: the curatorialness does not occur.; sent20 -> int2: the wending does not occur.; int1 & int2 -> int3: the curatorialness does not occur and the wending does not occur.; sent5 -> int4: the wreck happens.; sent2 & int4 -> int5: the fact that the curatorialness does not occur and the wending does not occur is incorrect.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the walk-in does not occur and the crustaceousness does not occur is not true.; int7 & sent24 -> int8: the provocativeness occurs.; sent6 & sent9 -> int9: the pancreatectomy does not occur and the rebuilding does not occur.; int9 -> int10: the pancreatectomy does not occur.; int8 & int10 -> int11: the pancreatectomy does not occur and the provocativeness occurs.; int11 & sent14 -> int12: the hefting chessboard occurs.; int12 & sent12 -> hypothesis;
the papering occurs.
sent8 & sent26 -> int13: the Manichaeanness does not occur.; int13 -> int14: the comfortableness does not occur and/or the Manichaean does not occur.; sent10 & int14 -> int15: the maleficentness does not occur.; sent11 & int15 -> int16: the souring or the prioritizing cruise or both happens.;
$hypothesis$ = the catkinateness occurs. ; $context$ = sent1: the upholding happens if the prioritizing bottomland happens. sent2: that the curatorialness does not occur and the wending does not occur is not correct if the wreck happens. sent3: if the provocativeness does not occur then that the wending happens and the curatorialness happens does not hold. sent4: the sipping does not occur. sent5: the prioritizing bottomland does not occur but the wrecking occurs. sent6: the pancreatectomy does not occur and the rebuilding does not occur if the prioritizing cruise does not occur. sent7: that the curatorialness does not occur is triggered by that the walk-in does not occur and the crustaceousness does not occur. sent8: the Manichaean does not occur if the primateship does not occur and the laterness does not occur. sent9: the prioritizing cruise does not occur. sent10: that the comfortableness does not occur or that the Manichaean does not occur or both prevents that the maleficentness occurs. sent11: if the maleficentness does not occur then the souring happens and/or the prioritizing cruise happens. sent12: if the hefting chessboard occurs the catkinateness occurs. sent13: if the comfortableness does not occur the prioritizing bottomland happens and/or the prioritizing cruise happens. sent14: that the pancreatectomy does not occur but the provocativeness occurs triggers that the hefting chessboard happens. sent15: the upholding does not occur. sent16: that the parenteralness occurs is not false. sent17: the non-Manichaeanness yields the non-maleficentness. sent18: if the hefting chessboard occurs and the pancreatectomy happens the provocativeness does not occur. sent19: that the prioritizing bottomland happens leads to that the rebuilding but not the upholding happens. sent20: the upholding does not occur and the wending does not occur. sent21: the Manichaeanness does not occur. sent22: the wending brings about that the papering occurs. sent23: if the rumpling does not occur and the bar occurs the stick does not occur. sent24: if the fact that the walk-in does not occur and the crustaceousness does not occur is wrong then that the provocativeness happens hold. sent25: if both the rebuilding and the upholding happens the wreck does not occur. sent26: the primateship does not occur and the laterness does not occur. sent27: that the papering happens is brought about by the curatorialness. ; $proof$ = 
void -> assump1: Let's assume that the walk-in does not occur and the crustaceousness does not occur.; sent7 & assump1 -> int1: the curatorialness does not occur.; sent20 -> int2: the wending does not occur.; int1 & int2 -> int3: the curatorialness does not occur and the wending does not occur.; sent5 -> int4: the wreck happens.; sent2 & int4 -> int5: the fact that the curatorialness does not occur and the wending does not occur is incorrect.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the walk-in does not occur and the crustaceousness does not occur is not true.; int7 & sent24 -> int8: the provocativeness occurs.; sent6 & sent9 -> int9: the pancreatectomy does not occur and the rebuilding does not occur.; int9 -> int10: the pancreatectomy does not occur.; int8 & int10 -> int11: the pancreatectomy does not occur and the provocativeness occurs.; int11 & sent14 -> int12: the hefting chessboard occurs.; int12 & sent12 -> hypothesis; __PROVED__