that either the diocesan does not occur or the squall does not occur or both does not hold.
sent1: the improperness does not occur. sent2: both the non-necromanticness and the non-latterness occurs. sent3: the recreationalness occurs. sent4: the nonconformity does not occur and the averaging ponderosa does not occur if the measuring Apollinaire does not occur. sent5: if the nonconformity does not occur and the averaging ponderosa does not occur the diocesanness does not occur. sent6: the averaging Caspian occurs. sent7: that the fattiness occurs is prevented by that the uplink does not occur and the wintering does not occur. sent8: the measuring Apollinaire does not occur if the fact that the yodeling occurs and the averaging Caspian does not occur does not hold. sent9: the recusation does not occur.
void -> assump1: Let's assume that the yodeling but not the averaging Caspian happens.; assump1 -> int1: the averaging Caspian does not occur.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the yodeling happens but the averaging Caspian does not occur is not right.; sent8 & int3 -> int4: the measuring Apollinaire does not occur.; sent4 & int4 -> int5: the nonconformity does not occur and the averaging ponderosa does not occur.; sent5 & int5 -> int6: the fact that the diocesanness does not occur is not wrong.; int6 -> hypothesis;
$hypothesis$ = that either the diocesan does not occur or the squall does not occur or both does not hold. ; $context$ = sent1: the improperness does not occur. sent2: both the non-necromanticness and the non-latterness occurs. sent3: the recreationalness occurs. sent4: the nonconformity does not occur and the averaging ponderosa does not occur if the measuring Apollinaire does not occur. sent5: if the nonconformity does not occur and the averaging ponderosa does not occur the diocesanness does not occur. sent6: the averaging Caspian occurs. sent7: that the fattiness occurs is prevented by that the uplink does not occur and the wintering does not occur. sent8: the measuring Apollinaire does not occur if the fact that the yodeling occurs and the averaging Caspian does not occur does not hold. sent9: the recusation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the yodeling but not the averaging Caspian happens.; assump1 -> int1: the averaging Caspian does not occur.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the yodeling happens but the averaging Caspian does not occur is not right.; sent8 & int3 -> int4: the measuring Apollinaire does not occur.; sent4 & int4 -> int5: the nonconformity does not occur and the averaging ponderosa does not occur.; sent5 & int5 -> int6: the fact that the diocesanness does not occur is not wrong.; int6 -> hypothesis; __DISPROVED__