that the extension occurs is true.
sent1: that the advectiveness happens prevents that the hoist does not occur. sent2: if that that the puritanicalness does not occur and the settling does not occur is not false is false then the Hegelian occurs. sent3: that the agriculturalness happens is right if that the invalidness and the agriculturalnessness happens is not correct. sent4: if the tailgating sacrificer does not occur the felony happens and the ferialness happens. sent5: if the drilling Phoenician does not occur the chaffiness does not occur. sent6: if the attentiveness does not occur not the settling but the puritanicalness happens. sent7: the fact that the summarizing does not occur but the smashing happens is not right. sent8: the advectiveness happens. sent9: if the regionalness does not occur the fact that not the drilling pilaf but the Indonesian occurs is not true. sent10: the narcoterrorism does not occur. sent11: the fact that the puritanicalness does not occur and the settling does not occur is incorrect. sent12: that if that both the non-validness and the agriculturalness happens does not hold then the extension occurs hold. sent13: that the vesicularness occurs is not incorrect if the cantonalness occurs. sent14: if the chaffiness does not occur the fact that the validness does not occur but the agriculturalness happens is wrong. sent15: if the relieving does not occur the fact that the extension occurs and the drilling Phoenician happens does not hold. sent16: that the attentiveness does not occur is caused by that the hoisting happens and the ferialness occurs. sent17: if the settling does not occur then the fact that the non-validness and the non-agriculturalness happens is not right. sent18: the fact that the chaffiness happens and/or the Hegelian does not occur is not true if the agriculturalness does not occur. sent19: not the throbbing but the drilling Phoenician happens if the relieving does not occur. sent20: if the drilling Phoenician and the relieving occurs then the fact that the Hegelian does not occur is not false. sent21: the tailgating sacrificer does not occur if the fact that both the tailgating sacrificer and the drilling incorruptness occurs is not correct. sent22: that the relieving happens hold.
void -> assump1: Let's assume that the drilling Phoenician happens.; assump1 & sent22 -> int1: both the drilling Phoenician and the relieving occurs.; int1 & sent20 -> int2: the Hegelianness does not occur.; sent2 & sent11 -> int3: the Hegelianness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the drilling Phoenician does not occur.; int5 & sent5 -> int6: the chaffiness does not occur.; int6 & sent14 -> int7: the fact that the fact that the non-validness and the agriculturalness happens is incorrect is correct.; int7 & sent12 -> hypothesis;
the throbbing does not occur.
$hypothesis$ = that the extension occurs is true. ; $context$ = sent1: that the advectiveness happens prevents that the hoist does not occur. sent2: if that that the puritanicalness does not occur and the settling does not occur is not false is false then the Hegelian occurs. sent3: that the agriculturalness happens is right if that the invalidness and the agriculturalnessness happens is not correct. sent4: if the tailgating sacrificer does not occur the felony happens and the ferialness happens. sent5: if the drilling Phoenician does not occur the chaffiness does not occur. sent6: if the attentiveness does not occur not the settling but the puritanicalness happens. sent7: the fact that the summarizing does not occur but the smashing happens is not right. sent8: the advectiveness happens. sent9: if the regionalness does not occur the fact that not the drilling pilaf but the Indonesian occurs is not true. sent10: the narcoterrorism does not occur. sent11: the fact that the puritanicalness does not occur and the settling does not occur is incorrect. sent12: that if that both the non-validness and the agriculturalness happens does not hold then the extension occurs hold. sent13: that the vesicularness occurs is not incorrect if the cantonalness occurs. sent14: if the chaffiness does not occur the fact that the validness does not occur but the agriculturalness happens is wrong. sent15: if the relieving does not occur the fact that the extension occurs and the drilling Phoenician happens does not hold. sent16: that the attentiveness does not occur is caused by that the hoisting happens and the ferialness occurs. sent17: if the settling does not occur then the fact that the non-validness and the non-agriculturalness happens is not right. sent18: the fact that the chaffiness happens and/or the Hegelian does not occur is not true if the agriculturalness does not occur. sent19: not the throbbing but the drilling Phoenician happens if the relieving does not occur. sent20: if the drilling Phoenician and the relieving occurs then the fact that the Hegelian does not occur is not false. sent21: the tailgating sacrificer does not occur if the fact that both the tailgating sacrificer and the drilling incorruptness occurs is not correct. sent22: that the relieving happens hold. ; $proof$ = 
void -> assump1: Let's assume that the drilling Phoenician happens.; assump1 & sent22 -> int1: both the drilling Phoenician and the relieving occurs.; int1 & sent20 -> int2: the Hegelianness does not occur.; sent2 & sent11 -> int3: the Hegelianness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the drilling Phoenician does not occur.; int5 & sent5 -> int6: the chaffiness does not occur.; int6 & sent14 -> int7: the fact that the fact that the non-validness and the agriculturalness happens is incorrect is correct.; int7 & sent12 -> hypothesis; __PROVED__