that the drilling occurs prevents that the industrialization does not occur.
sent1: if the geysering tumult does not occur the abstraction and the dimmedness happens. sent2: the judicialness occurs if the drilling occurs. sent3: that the romanticizing does not occur yields that both the monolatry and the cacodemonicness happens. sent4: if the levanter does not occur then that both the cheliceralness and the geysering tumult occurs does not hold. sent5: the ambling happens. sent6: if that the dimmedness happens is not false then the non-protestantness or the shooting or both occurs. sent7: the fact that the drilling does not occur and the intelligibleness does not occur is not correct if the judicialness does not occur. sent8: the judicialness does not occur if both the industrialization and the bespangling terce occurs. sent9: the relations occurs if the oddsness happens. sent10: that the romanticizing occurs is prevented by that both the destining moderationist and the croak happens. sent11: the destining moderationist happens. sent12: that either the non-protestantness or the shooting or both occurs results in that the aversion does not occur. sent13: the levanter does not occur if that the whistling occurs and the levanter occurs does not hold. sent14: the intelligibleness happens if that the drilling does not occur and the intelligibleness does not occur is incorrect. sent15: that the industrialization does not occur is prevented by the judicialness. sent16: that both the industrialization and the bespangling terce happens is caused by that the aversion does not occur. sent17: if the burrlikeness happens then the spraying happens. sent18: that the cacodemonicness happens prevents that the bespangling Malacopterygii occurs. sent19: if the fact that the cheliceralness and the geysering tumult happens is not true the geysering tumult does not occur. sent20: the rating occurs. sent21: that both the whistling and the levanter happens does not hold if the bespangling Malacopterygii does not occur.
void -> assump1: Let's assume that the drilling happens.; sent2 & assump1 -> int1: the judicialness happens.; int1 & sent15 -> int2: the industrialization happens.; [assump1] & int2 -> hypothesis;
the intelligibleness happens.
$hypothesis$ = that the drilling occurs prevents that the industrialization does not occur. ; $context$ = sent1: if the geysering tumult does not occur the abstraction and the dimmedness happens. sent2: the judicialness occurs if the drilling occurs. sent3: that the romanticizing does not occur yields that both the monolatry and the cacodemonicness happens. sent4: if the levanter does not occur then that both the cheliceralness and the geysering tumult occurs does not hold. sent5: the ambling happens. sent6: if that the dimmedness happens is not false then the non-protestantness or the shooting or both occurs. sent7: the fact that the drilling does not occur and the intelligibleness does not occur is not correct if the judicialness does not occur. sent8: the judicialness does not occur if both the industrialization and the bespangling terce occurs. sent9: the relations occurs if the oddsness happens. sent10: that the romanticizing occurs is prevented by that both the destining moderationist and the croak happens. sent11: the destining moderationist happens. sent12: that either the non-protestantness or the shooting or both occurs results in that the aversion does not occur. sent13: the levanter does not occur if that the whistling occurs and the levanter occurs does not hold. sent14: the intelligibleness happens if that the drilling does not occur and the intelligibleness does not occur is incorrect. sent15: that the industrialization does not occur is prevented by the judicialness. sent16: that both the industrialization and the bespangling terce happens is caused by that the aversion does not occur. sent17: if the burrlikeness happens then the spraying happens. sent18: that the cacodemonicness happens prevents that the bespangling Malacopterygii occurs. sent19: if the fact that the cheliceralness and the geysering tumult happens is not true the geysering tumult does not occur. sent20: the rating occurs. sent21: that both the whistling and the levanter happens does not hold if the bespangling Malacopterygii does not occur. ; $proof$ = 
void -> assump1: Let's assume that the drilling happens.; sent2 & assump1 -> int1: the judicialness happens.; int1 & sent15 -> int2: the industrialization happens.; [assump1] & int2 -> hypothesis; __PROVED__