the hydrolyzing occurs.
sent1: the ungratefulness happens. sent2: the weapon happens. sent3: the hydrolyzing happens if the fact that the unstuckness happens hold. sent4: the non-unstuckness and the alighting occurs if the upmarketness happens. sent5: the celestialness happens if the belaboring stockman happens. sent6: if the clearance happens the meander happens. sent7: that the foundering occurs but the upmarketness does not occur is not correct if the hostile happens. sent8: if the Jamaicanness happens the fact that the belaboring stockman occurs is true. sent9: the fact that the unstuckness happens is not incorrect if the celestialness occurs. sent10: that the catapulting copepod happens brings about the passing. sent11: the Jamaican occurs if the park happens. sent12: the chemotherapy happens if the alighting happens. sent13: the upmarketness happens if that the fact that the foundering but not the upmarketness happens hold is wrong. sent14: the chemotherapy does not occur if the park does not occur. sent15: that the park does not occur and the chemotherapy does not occur results in that the hydrolyzing does not occur. sent16: the Ephesian does not occur. sent17: if the arming does not occur the philandering kismet and the hostileness happens. sent18: the alighting happens. sent19: the spicateness occurs.
void -> assump1: Let's assume that the park does not occur.; sent14 & assump1 -> int1: the chemotherapy does not occur.; sent12 & sent18 -> int2: that the chemotherapy occurs is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the park happens is right.; int4 & sent11 -> int5: the Jamaican happens.; int5 & sent8 -> int6: the belaboring stockman occurs.; int6 & sent5 -> int7: the celestialness occurs.; int7 & sent9 -> int8: the unstuckness happens.; int8 & sent3 -> hypothesis;
the hydrolyzing does not occur.
$hypothesis$ = the hydrolyzing occurs. ; $context$ = sent1: the ungratefulness happens. sent2: the weapon happens. sent3: the hydrolyzing happens if the fact that the unstuckness happens hold. sent4: the non-unstuckness and the alighting occurs if the upmarketness happens. sent5: the celestialness happens if the belaboring stockman happens. sent6: if the clearance happens the meander happens. sent7: that the foundering occurs but the upmarketness does not occur is not correct if the hostile happens. sent8: if the Jamaicanness happens the fact that the belaboring stockman occurs is true. sent9: the fact that the unstuckness happens is not incorrect if the celestialness occurs. sent10: that the catapulting copepod happens brings about the passing. sent11: the Jamaican occurs if the park happens. sent12: the chemotherapy happens if the alighting happens. sent13: the upmarketness happens if that the fact that the foundering but not the upmarketness happens hold is wrong. sent14: the chemotherapy does not occur if the park does not occur. sent15: that the park does not occur and the chemotherapy does not occur results in that the hydrolyzing does not occur. sent16: the Ephesian does not occur. sent17: if the arming does not occur the philandering kismet and the hostileness happens. sent18: the alighting happens. sent19: the spicateness occurs. ; $proof$ = 
void -> assump1: Let's assume that the park does not occur.; sent14 & assump1 -> int1: the chemotherapy does not occur.; sent12 & sent18 -> int2: that the chemotherapy occurs is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the park happens is right.; int4 & sent11 -> int5: the Jamaican happens.; int5 & sent8 -> int6: the belaboring stockman occurs.; int6 & sent5 -> int7: the celestialness occurs.; int7 & sent9 -> int8: the unstuckness happens.; int8 & sent3 -> hypothesis; __PROVED__