the fact that if the stubbing burrfish occurs then the fact that either the interposing cherub does not occur or the arriving backdrop does not occur or both is incorrect is false.
sent1: not the anathematization but the interposing tailcoat occurs if the scraping does not occur. sent2: that the civicsness does not occur and/or the curb does not occur is false if the stellarness does not occur. sent3: the embodying does not occur. sent4: the personalness is prevented by that not the anathematization but the interposing tailcoat happens. sent5: that the stubbing burrfish does not occur is triggered by either that the interposing cherub does not occur or that the arriving backdrop does not occur or both. sent6: the arriving backdrop occurs. sent7: that the stubbing burrfish but not the stellarness happens is caused by the impersonalness. sent8: the hemodynamicsness does not occur and/or the curbing molindone does not occur. sent9: the gleaming does not occur.
void -> assump2: Let's assume that the interposing cherub does not occur and/or the arriving backdrop does not occur.; sent5 & assump2 -> int1: the stubbing burrfish does not occur.; void -> assump1: Let's assume that the fact that the stubbing burrfish occurs hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the interposing cherub does not occur or the arriving backdrop does not occur or both is wrong.; [assump1] & int3 -> hypothesis;
the fact that the civicsness does not occur or the curbing does not occur or both is false.
$hypothesis$ = the fact that if the stubbing burrfish occurs then the fact that either the interposing cherub does not occur or the arriving backdrop does not occur or both is incorrect is false. ; $context$ = sent1: not the anathematization but the interposing tailcoat occurs if the scraping does not occur. sent2: that the civicsness does not occur and/or the curb does not occur is false if the stellarness does not occur. sent3: the embodying does not occur. sent4: the personalness is prevented by that not the anathematization but the interposing tailcoat happens. sent5: that the stubbing burrfish does not occur is triggered by either that the interposing cherub does not occur or that the arriving backdrop does not occur or both. sent6: the arriving backdrop occurs. sent7: that the stubbing burrfish but not the stellarness happens is caused by the impersonalness. sent8: the hemodynamicsness does not occur and/or the curbing molindone does not occur. sent9: the gleaming does not occur. ; $proof$ = 
void -> assump2: Let's assume that the interposing cherub does not occur and/or the arriving backdrop does not occur.; sent5 & assump2 -> int1: the stubbing burrfish does not occur.; void -> assump1: Let's assume that the fact that the stubbing burrfish occurs hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the interposing cherub does not occur or the arriving backdrop does not occur or both is wrong.; [assump1] & int3 -> hypothesis; __DISPROVED__