if the receipt does not occur then the fact that the capillary occurs and the directing happens is incorrect.
sent1: the fact that the curbing does not occur is right. sent2: that the rhinoplasty happens and the alligator does not occur is wrong. sent3: the fact that the fact that the settlement does not occur but the parching occurs does not hold hold. sent4: if the cerebellarness happens then the fact that both the nonparametricness and the jacking spinner occurs is incorrect. sent5: the fact that the cerebellarness does not occur and the pounding does not occur is incorrect if the alligator does not occur. sent6: that the Panamanianness does not occur and the Terpsichore does not occur is wrong. sent7: if that the receipt does not occur is not wrong that the simmer occurs and the jacking goiter does not occur is not true. sent8: if the tinning does not occur then the fact that the jacking polity and the impressionistness occurs is incorrect. sent9: that the simmering does not occur and the jacking goiter does not occur is wrong if the receipting does not occur. sent10: if the recount does not occur the fact that both the non-contextualness and the non-toppedness occurs does not hold. sent11: that the maintaining does not occur and the adaxialness does not occur is not correct if the overtness does not occur. sent12: the stream happens if that the simmer does not occur and the jacking goiter does not occur is false. sent13: the fact that the Beguine does not occur hold. sent14: that the conversion and the non-Dostoevskianness happens is not correct if the LASEK occurs. sent15: if that the radioimmunoassay occurs hold then that both the care and the baiting happens is not correct. sent16: that the jacking spinner does not occur and the rerunning zoology does not occur does not hold if the fact that the Terpsichore does not occur is correct. sent17: the fact that that both the non-protozoalness and the lifework occurs is not right is true. sent18: the allotropy does not occur. sent19: that the capillary and the directing happens is wrong if the panicking duck does not occur. sent20: the fact that if that the refueling happens and the debridement does not occur is not true the panicking duck does not occur hold. sent21: the fact that the refueling occurs and the debridement does not occur is not true if the stream happens. sent22: if the receipt does not occur the fact that not the simmer but the jacking goiter occurs is wrong. sent23: that both the fortification and the assignment happens does not hold if the fact that the logisticness does not occur is incorrect. sent24: that the capillary occurs and the directing happens is caused by that the receipting does not occur.
void -> assump1: Let's assume that the receipt does not occur.; sent9 & assump1 -> int1: the fact that the simmer does not occur and the jacking goiter does not occur is not right.; sent12 & int1 -> int2: the stream happens.; sent21 & int2 -> int3: the fact that the refueling happens and the debridement does not occur does not hold.; sent20 & int3 -> int4: the panicking duck does not occur.; sent19 & int4 -> int5: that both the capillariness and the directing occurs is wrong.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the receipt does not occur then the fact that the capillary occurs and the directing happens is incorrect. ; $context$ = sent1: the fact that the curbing does not occur is right. sent2: that the rhinoplasty happens and the alligator does not occur is wrong. sent3: the fact that the fact that the settlement does not occur but the parching occurs does not hold hold. sent4: if the cerebellarness happens then the fact that both the nonparametricness and the jacking spinner occurs is incorrect. sent5: the fact that the cerebellarness does not occur and the pounding does not occur is incorrect if the alligator does not occur. sent6: that the Panamanianness does not occur and the Terpsichore does not occur is wrong. sent7: if that the receipt does not occur is not wrong that the simmer occurs and the jacking goiter does not occur is not true. sent8: if the tinning does not occur then the fact that the jacking polity and the impressionistness occurs is incorrect. sent9: that the simmering does not occur and the jacking goiter does not occur is wrong if the receipting does not occur. sent10: if the recount does not occur the fact that both the non-contextualness and the non-toppedness occurs does not hold. sent11: that the maintaining does not occur and the adaxialness does not occur is not correct if the overtness does not occur. sent12: the stream happens if that the simmer does not occur and the jacking goiter does not occur is false. sent13: the fact that the Beguine does not occur hold. sent14: that the conversion and the non-Dostoevskianness happens is not correct if the LASEK occurs. sent15: if that the radioimmunoassay occurs hold then that both the care and the baiting happens is not correct. sent16: that the jacking spinner does not occur and the rerunning zoology does not occur does not hold if the fact that the Terpsichore does not occur is correct. sent17: the fact that that both the non-protozoalness and the lifework occurs is not right is true. sent18: the allotropy does not occur. sent19: that the capillary and the directing happens is wrong if the panicking duck does not occur. sent20: the fact that if that the refueling happens and the debridement does not occur is not true the panicking duck does not occur hold. sent21: the fact that the refueling occurs and the debridement does not occur is not true if the stream happens. sent22: if the receipt does not occur the fact that not the simmer but the jacking goiter occurs is wrong. sent23: that both the fortification and the assignment happens does not hold if the fact that the logisticness does not occur is incorrect. sent24: that the capillary occurs and the directing happens is caused by that the receipting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the receipt does not occur.; sent9 & assump1 -> int1: the fact that the simmer does not occur and the jacking goiter does not occur is not right.; sent12 & int1 -> int2: the stream happens.; sent21 & int2 -> int3: the fact that the refueling happens and the debridement does not occur does not hold.; sent20 & int3 -> int4: the panicking duck does not occur.; sent19 & int4 -> int5: that both the capillariness and the directing occurs is wrong.; [assump1] & int5 -> hypothesis; __PROVED__