that something does not clear Donatism is not true.
sent1: the erythrite is a lovastatin if the acolyte is a nameplate. sent2: the erythrite capitalizes. sent3: the acolyte is a kind of a leek. sent4: if the fact that there is something such that that it is Faustian hold is true the erythrite is a nameplate. sent5: that the armoire is a nameplate is not wrong. sent6: the fact that the acolyte does capitalize hold if the armoire does clear Donatism. sent7: the erythrite does clear Donatism. sent8: there is something such that it is not a Alexandrian. sent9: the feverroot is a dare and is an allophone. sent10: the nub does not capitalize. sent11: the erythrite is a lovastatin if the armoire does capitalize. sent12: something does clear Donatism. sent13: the fact that there is something such that it does not stage Eiffel hold. sent14: if that something is a kind of a woodscrew and it is a lovastatin is not false then it is not a nameplate. sent15: if the acolyte clears Donatism that the armoire capitalizes is true. sent16: there is something such that it does not sign potbelly. sent17: the erythrite is not varicelliform. sent18: the erythrite is nonviolent. sent19: there exists something such that it is Faustian. sent20: the acolyte is varicelliform and is unfit. sent21: the acolyte is not a woodscrew if it clears Donatism and is a lovastatin. sent22: the erythrite is a woodscrew. sent23: the erythrite clears Donatism if the acolyte is a lovastatin. sent24: there are rhetorical things. sent25: the acolyte is a kind of a woodscrew.
void -> assump1: Let's assume that the acolyte clears Donatism.; sent15 & assump1 -> int1: the armoire does capitalize.; int1 & sent11 -> int2: the erythrite is a kind of a lovastatin.; int2 & sent22 -> int3: the erythrite is a kind of a woodscrew and it is a lovastatin.; sent14 -> int4: if the erythrite is a woodscrew and a lovastatin then it is not a nameplate.; int3 & int4 -> int5: the erythrite is not a nameplate.; sent19 & sent4 -> int6: that the erythrite is a kind of a nameplate is not false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the acolyte does not clear Donatism.; int8 -> hypothesis;
$hypothesis$ = that something does not clear Donatism is not true. ; $context$ = sent1: the erythrite is a lovastatin if the acolyte is a nameplate. sent2: the erythrite capitalizes. sent3: the acolyte is a kind of a leek. sent4: if the fact that there is something such that that it is Faustian hold is true the erythrite is a nameplate. sent5: that the armoire is a nameplate is not wrong. sent6: the fact that the acolyte does capitalize hold if the armoire does clear Donatism. sent7: the erythrite does clear Donatism. sent8: there is something such that it is not a Alexandrian. sent9: the feverroot is a dare and is an allophone. sent10: the nub does not capitalize. sent11: the erythrite is a lovastatin if the armoire does capitalize. sent12: something does clear Donatism. sent13: the fact that there is something such that it does not stage Eiffel hold. sent14: if that something is a kind of a woodscrew and it is a lovastatin is not false then it is not a nameplate. sent15: if the acolyte clears Donatism that the armoire capitalizes is true. sent16: there is something such that it does not sign potbelly. sent17: the erythrite is not varicelliform. sent18: the erythrite is nonviolent. sent19: there exists something such that it is Faustian. sent20: the acolyte is varicelliform and is unfit. sent21: the acolyte is not a woodscrew if it clears Donatism and is a lovastatin. sent22: the erythrite is a woodscrew. sent23: the erythrite clears Donatism if the acolyte is a lovastatin. sent24: there are rhetorical things. sent25: the acolyte is a kind of a woodscrew. ; $proof$ = 
void -> assump1: Let's assume that the acolyte clears Donatism.; sent15 & assump1 -> int1: the armoire does capitalize.; int1 & sent11 -> int2: the erythrite is a kind of a lovastatin.; int2 & sent22 -> int3: the erythrite is a kind of a woodscrew and it is a lovastatin.; sent14 -> int4: if the erythrite is a woodscrew and a lovastatin then it is not a nameplate.; int3 & int4 -> int5: the erythrite is not a nameplate.; sent19 & sent4 -> int6: that the erythrite is a kind of a nameplate is not false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the acolyte does not clear Donatism.; int8 -> hypothesis; __DISPROVED__