the spreading chop does not occur and the roundup happens.
sent1: the fact that that the splashing does not occur and the batholithicness does not occur is not true hold. sent2: if the splashing occurs that the roundup does not occur and the spreading chop happens is not true. sent3: the splashing occurs if the fact that the splashing does not occur and the batholithicness does not occur does not hold. sent4: the spreading Holcus does not occur. sent5: the figurativeness occurs. sent6: the overpayment happens. sent7: the quintessentialness happens. sent8: the respecting fortnight happens. sent9: the fact that the quintessentialness does not occur is not wrong if the fact that the polychromaticness occurs and the quintessentialness happens is not true. sent10: the adjustment happens if the rustication happens. sent11: the brotherliness does not occur and the purpling disorientation occurs. sent12: the slavery happens. sent13: if the unsystematicness does not occur then the adjustment happens and the radiography occurs. sent14: the icing happens. sent15: the roundup happens. sent16: if the quintessentialness does not occur then the rustication occurs and the baa happens. sent17: that the entail does not occur hold. sent18: the unsystematicness and the quintessentialness occurs. sent19: that the unsystematicness happens and the adjustment happens yields the non-figurativeness. sent20: the respecting RAIU happens. sent21: not the spreading Bushido but the diving Idahoan occurs. sent22: if the respecting goad does not occur the fact that the polychromaticness and the quintessentialness occurs is not correct. sent23: the whist does not occur. sent24: the diving Chlorococcum does not occur.
void -> assump1: Let's assume that the rustication happens.; sent10 & assump1 -> int1: the adjustment happens.; sent18 -> int2: the unsystematicness happens.; int1 & int2 -> int3: the unsystematicness happens and the adjustment happens.; int3 & sent19 -> int4: the figurativeness does not occur.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rustication does not occur.; int6 & sent23 -> int7: the rustication does not occur and the whist does not occur.;
that the spreading chop does not occur but the roundup occurs is false.
 -> hypothesis;
$hypothesis$ = the spreading chop does not occur and the roundup happens. ; $context$ = sent1: the fact that that the splashing does not occur and the batholithicness does not occur is not true hold. sent2: if the splashing occurs that the roundup does not occur and the spreading chop happens is not true. sent3: the splashing occurs if the fact that the splashing does not occur and the batholithicness does not occur does not hold. sent4: the spreading Holcus does not occur. sent5: the figurativeness occurs. sent6: the overpayment happens. sent7: the quintessentialness happens. sent8: the respecting fortnight happens. sent9: the fact that the quintessentialness does not occur is not wrong if the fact that the polychromaticness occurs and the quintessentialness happens is not true. sent10: the adjustment happens if the rustication happens. sent11: the brotherliness does not occur and the purpling disorientation occurs. sent12: the slavery happens. sent13: if the unsystematicness does not occur then the adjustment happens and the radiography occurs. sent14: the icing happens. sent15: the roundup happens. sent16: if the quintessentialness does not occur then the rustication occurs and the baa happens. sent17: that the entail does not occur hold. sent18: the unsystematicness and the quintessentialness occurs. sent19: that the unsystematicness happens and the adjustment happens yields the non-figurativeness. sent20: the respecting RAIU happens. sent21: not the spreading Bushido but the diving Idahoan occurs. sent22: if the respecting goad does not occur the fact that the polychromaticness and the quintessentialness occurs is not correct. sent23: the whist does not occur. sent24: the diving Chlorococcum does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rustication happens.; sent10 & assump1 -> int1: the adjustment happens.; sent18 -> int2: the unsystematicness happens.; int1 & int2 -> int3: the unsystematicness happens and the adjustment happens.; int3 & sent19 -> int4: the figurativeness does not occur.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rustication does not occur.; int6 & sent23 -> int7: the rustication does not occur and the whist does not occur.; __UNKNOWN__