the fact that there is something such that if it is proud then it is bisontine is false.
sent1: the arithmetician is not non-epidemiologic if it does formalize translucence. sent2: if the fact that the fedelline formalizes anaglyphy is correct then it is feudatory. sent3: if the pyrograph does formalize Strand then it is proud. sent4: there exists something such that if it is cautious it is a kind of a Platanus. sent5: if the fedelline does not formalize Dacrydium the fact that it either is nonmodern or does riposte nursed or both is not right. sent6: if the fedelline is proverbial that it is bisontine is not wrong. sent7: if that something is nonmodern and/or it does riposte nursed is false the fact that it is not bisontine hold. sent8: if the fedelline is proud that it is epidemiologic is right. sent9: something that is epidemiologic is bisontine.
void -> assump1: Let's assume that that the fedelline is proud hold.; sent8 & assump1 -> int1: the fedelline is epidemiologic.; sent9 -> int2: if the fedelline is epidemiologic it is bisontine.; int1 & int2 -> int3: the fedelline is bisontine.; [assump1] & int3 -> int4: if the fedelline is proud then it is bisontine.; int4 -> hypothesis;
that the chabazite is proud is not incorrect.
sent7 -> int5: if the fact that the fedelline is nonmodern and/or it ripostes nursed is wrong it is not bisontine.;
$hypothesis$ = the fact that there is something such that if it is proud then it is bisontine is false. ; $context$ = sent1: the arithmetician is not non-epidemiologic if it does formalize translucence. sent2: if the fact that the fedelline formalizes anaglyphy is correct then it is feudatory. sent3: if the pyrograph does formalize Strand then it is proud. sent4: there exists something such that if it is cautious it is a kind of a Platanus. sent5: if the fedelline does not formalize Dacrydium the fact that it either is nonmodern or does riposte nursed or both is not right. sent6: if the fedelline is proverbial that it is bisontine is not wrong. sent7: if that something is nonmodern and/or it does riposte nursed is false the fact that it is not bisontine hold. sent8: if the fedelline is proud that it is epidemiologic is right. sent9: something that is epidemiologic is bisontine. ; $proof$ = 
void -> assump1: Let's assume that that the fedelline is proud hold.; sent8 & assump1 -> int1: the fedelline is epidemiologic.; sent9 -> int2: if the fedelline is epidemiologic it is bisontine.; int1 & int2 -> int3: the fedelline is bisontine.; [assump1] & int3 -> int4: if the fedelline is proud then it is bisontine.; int4 -> hypothesis; __DISPROVED__