the hajj happens.
sent1: the bankrupting Planococcus does not occur and the eldership does not occur. sent2: either the Sumerian occurs or the Taiwaneseness does not occur or both if the glialness occurs. sent3: if the electoralness happens the fact that not the bankrupting pyroelectricity but the control happens is wrong. sent4: if that not the bankrupting pyroelectricity but the controlling occurs is not correct then the glialness occurs. sent5: if the discrepancy happens the autoplasticness does not occur. sent6: the bifilarness does not occur if the ride occurs. sent7: the fact that the mending occurs is true. sent8: the mecopterousness occurs. sent9: the prefecturalness occurs. sent10: that the reducibleness occurs leads to that the Wagnerian occurs. sent11: if the controlling happens then the fact that the glialness does not occur and the bankrupting pyroelectricity does not occur hold. sent12: if the fact that the glialness occurs and the Sumerianness happens is not right the stunting perithecium does not occur. sent13: the peripeteia does not occur. sent14: the insertion occurs. sent15: the stunting Methodists occurs. sent16: the trophoblasticness does not occur. sent17: if the philharmonicness does not occur and the stunting registrar does not occur the stunting puncture occurs. sent18: the Taiwanese does not occur. sent19: the androgynousness does not occur and the censoring does not occur. sent20: the control occurs. sent21: the grinding occurs if the snorkeling happens. sent22: if the hajj does not occur the fact that the fact that the glialness happens and the Sumerianness happens does not hold is right. sent23: if the mammariness occurs then the Wagnerianness occurs. sent24: if both the non-Sumerianness and the non-glialness happens the hajj happens. sent25: the Taiwanese is caused by the Sumerian.
void -> assump1: Let's assume that the Sumerian happens.; sent25 & assump1 -> int1: the Taiwanese occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Sumerian does not occur.; sent11 & sent20 -> int4: the glialness does not occur and the bankrupting pyroelectricity does not occur.; int4 -> int5: the glialness does not occur.; int3 & int5 -> int6: both the non-Sumerianness and the non-glialness happens.; int6 & sent24 -> hypothesis;
the hajj does not occur.
$hypothesis$ = the hajj happens. ; $context$ = sent1: the bankrupting Planococcus does not occur and the eldership does not occur. sent2: either the Sumerian occurs or the Taiwaneseness does not occur or both if the glialness occurs. sent3: if the electoralness happens the fact that not the bankrupting pyroelectricity but the control happens is wrong. sent4: if that not the bankrupting pyroelectricity but the controlling occurs is not correct then the glialness occurs. sent5: if the discrepancy happens the autoplasticness does not occur. sent6: the bifilarness does not occur if the ride occurs. sent7: the fact that the mending occurs is true. sent8: the mecopterousness occurs. sent9: the prefecturalness occurs. sent10: that the reducibleness occurs leads to that the Wagnerian occurs. sent11: if the controlling happens then the fact that the glialness does not occur and the bankrupting pyroelectricity does not occur hold. sent12: if the fact that the glialness occurs and the Sumerianness happens is not right the stunting perithecium does not occur. sent13: the peripeteia does not occur. sent14: the insertion occurs. sent15: the stunting Methodists occurs. sent16: the trophoblasticness does not occur. sent17: if the philharmonicness does not occur and the stunting registrar does not occur the stunting puncture occurs. sent18: the Taiwanese does not occur. sent19: the androgynousness does not occur and the censoring does not occur. sent20: the control occurs. sent21: the grinding occurs if the snorkeling happens. sent22: if the hajj does not occur the fact that the fact that the glialness happens and the Sumerianness happens does not hold is right. sent23: if the mammariness occurs then the Wagnerianness occurs. sent24: if both the non-Sumerianness and the non-glialness happens the hajj happens. sent25: the Taiwanese is caused by the Sumerian. ; $proof$ = 
void -> assump1: Let's assume that the Sumerian happens.; sent25 & assump1 -> int1: the Taiwanese occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Sumerian does not occur.; sent11 & sent20 -> int4: the glialness does not occur and the bankrupting pyroelectricity does not occur.; int4 -> int5: the glialness does not occur.; int3 & int5 -> int6: both the non-Sumerianness and the non-glialness happens.; int6 & sent24 -> hypothesis; __PROVED__