if the holophyticness happens then the fact that the gather occurs and the forcefulness does not occur is incorrect.
sent1: the non-unidimensionalness and the extralinguisticness occurs. sent2: if the gathering does not occur that the excising Mackenzie does not occur and the derailing rarefaction does not occur does not hold. sent3: the fact that the fact that that both the excising callowness and the earthquake occurs is not false does not hold hold. sent4: that the gathering and the forcefulness occurs is incorrect. sent5: the gather occurs and the forcefulness does not occur if the holophyticness occurs. sent6: if the holophyticness occurs the fact that the gather occurs and the forcefulness happens is wrong. sent7: the excising washerman occurs or the stigmatizing pyroxylin happens or both. sent8: the offingness but not the excising smile happens if the outflow occurs. sent9: the fact that the gathering and the forcefulness happens is not correct if the derailing rarefaction does not occur. sent10: the fundamentals does not occur if that the caruncularness does not occur is correct. sent11: the psychogeneticness does not occur. sent12: if the derailing rarefaction does not occur then that the gathering and the non-forcefulness happens is incorrect. sent13: the fact that both the infelicitousness and the MOT happens is false. sent14: if the courante occurs the cubist happens. sent15: if the fact that the excising smile does not occur hold then the excising Eustoma happens or the mothering occurs or both. sent16: if the prodromalness happens and the stigmatizing arcsine occurs that the discomycetousness does not occur is not wrong. sent17: that the outflow does not occur is prevented by that the unidimensionalness does not occur but the extralinguisticness occurs. sent18: if the excising washerman occurs then the prodromalness occurs. sent19: if that the prodromalness does not occur is true that not the discomycetousness but the stigmatizing arcsine occurs is incorrect. sent20: the stigmatizing pyroxylin causes the prodromalness. sent21: the providentialness and the bed-hopping happens. sent22: if the stigmatizing denaturant occurs then the emptying but not the scattering occurs. sent23: the excising Mackenzie does not occur if the discomycetousness does not occur. sent24: the spelldown does not occur. sent25: that the derailing rarefaction happens is prevented by that the excising Mackenzie does not occur. sent26: the stigmatizing arcsine occurs if the holophyticness happens. sent27: if the extraordinariness does not occur then the fact that the emptying and the non-auxinicness occurs is incorrect. sent28: the stigmatizing pyroxylin occurs if the excising Eustoma occurs.
void -> assump1: Let's assume that the holophyticness occurs.; sent26 & assump1 -> int1: that the stigmatizing arcsine occurs is not incorrect.; sent7 & sent18 & sent20 -> int2: that the prodromalness occurs hold.; int1 & int2 -> int3: both the prodromalness and the stigmatizing arcsine happens.; int3 & sent16 -> int4: the fact that the discomycetousness happens is false.; int4 & sent23 -> int5: the excising Mackenzie does not occur.; int5 & sent25 -> int6: the derailing rarefaction does not occur.; int6 & sent12 -> int7: the fact that the gathering but not the forcefulness occurs does not hold.; [assump1] & int7 -> hypothesis;
the perplexing atrocity happens.
sent17 & sent1 -> int8: the outflow occurs.; sent8 & int8 -> int9: the offingness occurs and the excising smile does not occur.; int9 -> int10: the excising smile does not occur.; sent15 & int10 -> int11: the excising Eustoma occurs and/or the mother happens.;
$hypothesis$ = if the holophyticness happens then the fact that the gather occurs and the forcefulness does not occur is incorrect. ; $context$ = sent1: the non-unidimensionalness and the extralinguisticness occurs. sent2: if the gathering does not occur that the excising Mackenzie does not occur and the derailing rarefaction does not occur does not hold. sent3: the fact that the fact that that both the excising callowness and the earthquake occurs is not false does not hold hold. sent4: that the gathering and the forcefulness occurs is incorrect. sent5: the gather occurs and the forcefulness does not occur if the holophyticness occurs. sent6: if the holophyticness occurs the fact that the gather occurs and the forcefulness happens is wrong. sent7: the excising washerman occurs or the stigmatizing pyroxylin happens or both. sent8: the offingness but not the excising smile happens if the outflow occurs. sent9: the fact that the gathering and the forcefulness happens is not correct if the derailing rarefaction does not occur. sent10: the fundamentals does not occur if that the caruncularness does not occur is correct. sent11: the psychogeneticness does not occur. sent12: if the derailing rarefaction does not occur then that the gathering and the non-forcefulness happens is incorrect. sent13: the fact that both the infelicitousness and the MOT happens is false. sent14: if the courante occurs the cubist happens. sent15: if the fact that the excising smile does not occur hold then the excising Eustoma happens or the mothering occurs or both. sent16: if the prodromalness happens and the stigmatizing arcsine occurs that the discomycetousness does not occur is not wrong. sent17: that the outflow does not occur is prevented by that the unidimensionalness does not occur but the extralinguisticness occurs. sent18: if the excising washerman occurs then the prodromalness occurs. sent19: if that the prodromalness does not occur is true that not the discomycetousness but the stigmatizing arcsine occurs is incorrect. sent20: the stigmatizing pyroxylin causes the prodromalness. sent21: the providentialness and the bed-hopping happens. sent22: if the stigmatizing denaturant occurs then the emptying but not the scattering occurs. sent23: the excising Mackenzie does not occur if the discomycetousness does not occur. sent24: the spelldown does not occur. sent25: that the derailing rarefaction happens is prevented by that the excising Mackenzie does not occur. sent26: the stigmatizing arcsine occurs if the holophyticness happens. sent27: if the extraordinariness does not occur then the fact that the emptying and the non-auxinicness occurs is incorrect. sent28: the stigmatizing pyroxylin occurs if the excising Eustoma occurs. ; $proof$ = 
void -> assump1: Let's assume that the holophyticness occurs.; sent26 & assump1 -> int1: that the stigmatizing arcsine occurs is not incorrect.; sent7 & sent18 & sent20 -> int2: that the prodromalness occurs hold.; int1 & int2 -> int3: both the prodromalness and the stigmatizing arcsine happens.; int3 & sent16 -> int4: the fact that the discomycetousness happens is false.; int4 & sent23 -> int5: the excising Mackenzie does not occur.; int5 & sent25 -> int6: the derailing rarefaction does not occur.; int6 & sent12 -> int7: the fact that the gathering but not the forcefulness occurs does not hold.; [assump1] & int7 -> hypothesis; __PROVED__