the fact that the cerebrospinalness happens or the oligarchicness happens or both is incorrect.
sent1: the nonappearance occurs. sent2: if the low-interestness does not occur then the capillarity does not occur and the relaxation does not occur. sent3: if the nonappearance does not occur that the cerebrospinalness happens or the oligarchicness happens or both is false. sent4: that the zizz occurs and the offness happens is false if the capillarity does not occur. sent5: if that the zizz and the offness happens is incorrect then the offness does not occur. sent6: that both the nonappearance and the discrimination happens prevents that the detail happens. sent7: if the offness occurs then the detail occurs. sent8: the offness and the zizz happens. sent9: either the cerebrospinalness or the oligarchicness or both occurs if the discrimination does not occur.
void -> assump1: Let's assume that the discrimination occurs.; sent1 & assump1 -> int1: the nonappearance and the discrimination occurs.; int1 & sent6 -> int2: the detail does not occur.; sent8 -> int3: the offness occurs.; sent7 & int3 -> int4: the detailing happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the discrimination does not occur is not false.; int6 & sent9 -> hypothesis;
the fact that either the cerebrospinalness happens or the oligarchicness occurs or both does not hold.
$hypothesis$ = the fact that the cerebrospinalness happens or the oligarchicness happens or both is incorrect. ; $context$ = sent1: the nonappearance occurs. sent2: if the low-interestness does not occur then the capillarity does not occur and the relaxation does not occur. sent3: if the nonappearance does not occur that the cerebrospinalness happens or the oligarchicness happens or both is false. sent4: that the zizz occurs and the offness happens is false if the capillarity does not occur. sent5: if that the zizz and the offness happens is incorrect then the offness does not occur. sent6: that both the nonappearance and the discrimination happens prevents that the detail happens. sent7: if the offness occurs then the detail occurs. sent8: the offness and the zizz happens. sent9: either the cerebrospinalness or the oligarchicness or both occurs if the discrimination does not occur. ; $proof$ = 
void -> assump1: Let's assume that the discrimination occurs.; sent1 & assump1 -> int1: the nonappearance and the discrimination occurs.; int1 & sent6 -> int2: the detail does not occur.; sent8 -> int3: the offness occurs.; sent7 & int3 -> int4: the detailing happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the discrimination does not occur is not false.; int6 & sent9 -> hypothesis; __DISPROVED__