that the patter does not occur or the awarding pennyworth does not occur or both does not hold if the obscuring angiosperm occurs.
sent1: the non-extragalacticness is brought about by the scrapping and/or the sinkableness. sent2: the tertianness happens. sent3: if either the patter happens or the awarding pennyworth does not occur or both the obscuring angiosperm does not occur. sent4: the circling boilerplate does not occur. sent5: either that the patter does not occur or that the awarding pennyworth does not occur or both results in that the obscuring angiosperm does not occur. sent6: the factorizing Bast does not occur if the circling dogcart does not occur. sent7: the ceilidh does not occur or the parasiticness happens or both. sent8: that the marking happens results in the awarding eightpence. sent9: that the promissoriness occurs and/or the circling Clethra does not occur is not correct.
void -> assump2: Let's assume that either the patter does not occur or the awarding pennyworth does not occur or both.; sent5 & assump2 -> int1: the obscuring angiosperm does not occur.; void -> assump1: Let's assume that the obscuring angiosperm happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the pattering does not occur or the awarding pennyworth does not occur or both is not true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the patter does not occur or the awarding pennyworth does not occur or both does not hold if the obscuring angiosperm occurs. ; $context$ = sent1: the non-extragalacticness is brought about by the scrapping and/or the sinkableness. sent2: the tertianness happens. sent3: if either the patter happens or the awarding pennyworth does not occur or both the obscuring angiosperm does not occur. sent4: the circling boilerplate does not occur. sent5: either that the patter does not occur or that the awarding pennyworth does not occur or both results in that the obscuring angiosperm does not occur. sent6: the factorizing Bast does not occur if the circling dogcart does not occur. sent7: the ceilidh does not occur or the parasiticness happens or both. sent8: that the marking happens results in the awarding eightpence. sent9: that the promissoriness occurs and/or the circling Clethra does not occur is not correct. ; $proof$ = 
void -> assump2: Let's assume that either the patter does not occur or the awarding pennyworth does not occur or both.; sent5 & assump2 -> int1: the obscuring angiosperm does not occur.; void -> assump1: Let's assume that the obscuring angiosperm happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the pattering does not occur or the awarding pennyworth does not occur or both is not true.; [assump1] & int3 -> hypothesis; __PROVED__