if the deduction does not occur that the anureticness does not occur and the democraticness does not occur does not hold.
sent1: if that the boning happens is not false the intermediate occurs. sent2: if the suborning Dimorphotheca happens that the fact that the anureticness but not the democraticness occurs is not true is not incorrect. sent3: if the suborning Dimorphotheca happens then that the anureticness does not occur but the democraticness occurs is not correct. sent4: if that the boning does not occur is not incorrect the fact that the freight and/or the non-patristicsness occurs is not right. sent5: if the suborning Dimorphotheca happens then that both the non-anureticness and the non-democraticness happens is incorrect. sent6: the bone happens if the fact that either the sickening Cinclidae occurs or the sickening auctioneer does not occur or both is not true. sent7: either that the sickening Cinclidae occurs or that the sickening auctioneer does not occur or both yields the deduction. sent8: that the anureticness does not occur and the democraticness happens is not correct. sent9: if the fact that either the sickening Cinclidae or the sickening auctioneer or both occurs is not true the boning happens. sent10: the fact that that the intermediateness occurs prevents that the suborning Dimorphotheca does not occur is not false. sent11: the fact that that the non-anureticness and the democraticness occurs is not true hold if the fact that the deduction does not occur is right. sent12: that the anureticness does not occur and the democraticness does not occur is caused by that the deduction does not occur. sent13: that the suborning Dimorphotheca occurs is prevented by either that the anureticness happens or that the suborning Dimorphotheca does not occur or both. sent14: that both the non-anureticness and the non-democraticness occurs is brought about by that the suborning Dimorphotheca occurs. sent15: the democraticness does not occur if the fact that the sickening bitumastic but not the employableness happens is wrong. sent16: the anureticness does not occur and the democraticness does not occur. sent17: the fact that both the sickening bitumastic and the non-employableness happens is false if the dirtying does not occur. sent18: the fact that the anureticness and the undemocraticness happens is false.
void -> assump2: Let's assume that the sickening Cinclidae happens or the sickening auctioneer does not occur or both.; sent7 & assump2 -> int1: the deduction occurs.; void -> assump1: Let's assume that the deduction does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the sickening Cinclidae occurs and/or the sickening auctioneer does not occur is not correct.; sent6 & int3 -> int4: the bone happens.; sent1 & int4 -> int5: the intermediate occurs.; sent10 & int5 -> int6: the suborning Dimorphotheca happens.; sent5 & int6 -> int7: the fact that both the non-anureticness and the undemocraticness happens does not hold.; [assump1] & int7 -> hypothesis;
the fact that that the fact that the freighting or the non-patristicsness or both happens hold is incorrect hold.
$hypothesis$ = if the deduction does not occur that the anureticness does not occur and the democraticness does not occur does not hold. ; $context$ = sent1: if that the boning happens is not false the intermediate occurs. sent2: if the suborning Dimorphotheca happens that the fact that the anureticness but not the democraticness occurs is not true is not incorrect. sent3: if the suborning Dimorphotheca happens then that the anureticness does not occur but the democraticness occurs is not correct. sent4: if that the boning does not occur is not incorrect the fact that the freight and/or the non-patristicsness occurs is not right. sent5: if the suborning Dimorphotheca happens then that both the non-anureticness and the non-democraticness happens is incorrect. sent6: the bone happens if the fact that either the sickening Cinclidae occurs or the sickening auctioneer does not occur or both is not true. sent7: either that the sickening Cinclidae occurs or that the sickening auctioneer does not occur or both yields the deduction. sent8: that the anureticness does not occur and the democraticness happens is not correct. sent9: if the fact that either the sickening Cinclidae or the sickening auctioneer or both occurs is not true the boning happens. sent10: the fact that that the intermediateness occurs prevents that the suborning Dimorphotheca does not occur is not false. sent11: the fact that that the non-anureticness and the democraticness occurs is not true hold if the fact that the deduction does not occur is right. sent12: that the anureticness does not occur and the democraticness does not occur is caused by that the deduction does not occur. sent13: that the suborning Dimorphotheca occurs is prevented by either that the anureticness happens or that the suborning Dimorphotheca does not occur or both. sent14: that both the non-anureticness and the non-democraticness occurs is brought about by that the suborning Dimorphotheca occurs. sent15: the democraticness does not occur if the fact that the sickening bitumastic but not the employableness happens is wrong. sent16: the anureticness does not occur and the democraticness does not occur. sent17: the fact that both the sickening bitumastic and the non-employableness happens is false if the dirtying does not occur. sent18: the fact that the anureticness and the undemocraticness happens is false. ; $proof$ = 
void -> assump2: Let's assume that the sickening Cinclidae happens or the sickening auctioneer does not occur or both.; sent7 & assump2 -> int1: the deduction occurs.; void -> assump1: Let's assume that the deduction does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the sickening Cinclidae occurs and/or the sickening auctioneer does not occur is not correct.; sent6 & int3 -> int4: the bone happens.; sent1 & int4 -> int5: the intermediate occurs.; sent10 & int5 -> int6: the suborning Dimorphotheca happens.; sent5 & int6 -> int7: the fact that both the non-anureticness and the undemocraticness happens does not hold.; [assump1] & int7 -> hypothesis; __PROVED__