the fact that the manifold does not designate and is not a kind of a traffic hold.
sent1: something uproots if it is a Saale. sent2: the fact that the manifold does designate but it is not a traffic is not correct if the reserpine is not a traffic. sent3: the reserpine multiplies zymology. sent4: there are pictographic things. sent5: the fact that the manifold does not designate and it is not a traffic is incorrect if the reserpine is not a traffic. sent6: the dockside is not cubic. sent7: if the triode is not a traffic then the manifold does not traffic. sent8: that the fact that the triode is a kind of non-pictographic a bibliophile does not hold hold if there is something such that that it is non-pictographic hold. sent9: the idolater is a kind of a bibliophile. sent10: if something is cubic the reserpine is not a traffic. sent11: the aileron is not a kind of a Saale if there is something such that it does not traffic and uproots. sent12: the triode is a Saale if something is a kind of non-cubic thing that is a kind of a flood. sent13: the fact that that the manifold does designate and does not traffic is incorrect is not false. sent14: if there is something such that the fact that it is a kind of non-cubic thing that does flood is not right then the reserpine is not a traffic. sent15: the fact that the triode is not pictographic but it is a bibliophile is not true. sent16: there is something such that the fact that it is cubic thing that is a kind of a flood is wrong. sent17: the manifold does not designate if there is something such that it is not pictographic and it is a Saale. sent18: that the triode is not pictographic and is not a bibliophile is not right if there exists something such that it is pictographic. sent19: the triode is a Saale if there exists something such that it is a kind of cubic thing that is a kind of a flood. sent20: the triode is non-pictographic if that it does not multiply zymology and it is non-pictographic is false. sent21: that the dockside is cubic and it does flood does not hold. sent22: that the triode is pictographic but it is not a bibliophile is incorrect. sent23: something is a bibliophile if it is a traffic. sent24: that the triode is pictographic and not a bibliophile is incorrect if something is pictographic. sent25: if the reserpine is not a kind of a traffic then the fact that the manifold does not designate but it is a kind of a traffic is not true. sent26: the fact that something is a kind of non-immature thing that is not a bibliophile is not correct if that it is not a kind of a Saale is right. sent27: something does not uproot if the fact that it is not pictographic and it is not a bibliophile is not correct.
void -> assump1: Let's assume that the fact that the dockside is not cubic but it is a flood hold.; assump1 -> int1: there exists something such that it is not cubic and is a kind of a flood.; int1 & sent12 -> int2: the triode is a Saale.; sent1 -> int3: if the fact that the triode is not a Saale is wrong then that it does uproot is not incorrect.; int2 & int3 -> int4: the triode uproots.; sent27 -> int5: the triode does not uproot if the fact that it is not pictographic and not a bibliophile is incorrect.; sent4 & sent18 -> int6: that the triode is a kind of non-pictographic thing that is not a bibliophile does not hold.; int5 & int6 -> int7: the triode does not uproot.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the dockside is not cubic and is a flood is false.; int9 -> int10: there exists something such that that it is non-cubic thing that is a flood does not hold.; int10 & sent14 -> int11: the reserpine is not a traffic.; int11 & sent5 -> hypothesis;
the fact that the aileron is both non-immature and not a bibliophile does not hold.
sent26 -> int12: if the aileron is not a Saale the fact that it is a kind of non-immature thing that is not a bibliophile is not true.; sent3 -> int13: there exists something such that the fact that it multiplies zymology hold.;
$hypothesis$ = the fact that the manifold does not designate and is not a kind of a traffic hold. ; $context$ = sent1: something uproots if it is a Saale. sent2: the fact that the manifold does designate but it is not a traffic is not correct if the reserpine is not a traffic. sent3: the reserpine multiplies zymology. sent4: there are pictographic things. sent5: the fact that the manifold does not designate and it is not a traffic is incorrect if the reserpine is not a traffic. sent6: the dockside is not cubic. sent7: if the triode is not a traffic then the manifold does not traffic. sent8: that the fact that the triode is a kind of non-pictographic a bibliophile does not hold hold if there is something such that that it is non-pictographic hold. sent9: the idolater is a kind of a bibliophile. sent10: if something is cubic the reserpine is not a traffic. sent11: the aileron is not a kind of a Saale if there is something such that it does not traffic and uproots. sent12: the triode is a Saale if something is a kind of non-cubic thing that is a kind of a flood. sent13: the fact that that the manifold does designate and does not traffic is incorrect is not false. sent14: if there is something such that the fact that it is a kind of non-cubic thing that does flood is not right then the reserpine is not a traffic. sent15: the fact that the triode is not pictographic but it is a bibliophile is not true. sent16: there is something such that the fact that it is cubic thing that is a kind of a flood is wrong. sent17: the manifold does not designate if there is something such that it is not pictographic and it is a Saale. sent18: that the triode is not pictographic and is not a bibliophile is not right if there exists something such that it is pictographic. sent19: the triode is a Saale if there exists something such that it is a kind of cubic thing that is a kind of a flood. sent20: the triode is non-pictographic if that it does not multiply zymology and it is non-pictographic is false. sent21: that the dockside is cubic and it does flood does not hold. sent22: that the triode is pictographic but it is not a bibliophile is incorrect. sent23: something is a bibliophile if it is a traffic. sent24: that the triode is pictographic and not a bibliophile is incorrect if something is pictographic. sent25: if the reserpine is not a kind of a traffic then the fact that the manifold does not designate but it is a kind of a traffic is not true. sent26: the fact that something is a kind of non-immature thing that is not a bibliophile is not correct if that it is not a kind of a Saale is right. sent27: something does not uproot if the fact that it is not pictographic and it is not a bibliophile is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dockside is not cubic but it is a flood hold.; assump1 -> int1: there exists something such that it is not cubic and is a kind of a flood.; int1 & sent12 -> int2: the triode is a Saale.; sent1 -> int3: if the fact that the triode is not a Saale is wrong then that it does uproot is not incorrect.; int2 & int3 -> int4: the triode uproots.; sent27 -> int5: the triode does not uproot if the fact that it is not pictographic and not a bibliophile is incorrect.; sent4 & sent18 -> int6: that the triode is a kind of non-pictographic thing that is not a bibliophile does not hold.; int5 & int6 -> int7: the triode does not uproot.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the dockside is not cubic and is a flood is false.; int9 -> int10: there exists something such that that it is non-cubic thing that is a flood does not hold.; int10 & sent14 -> int11: the reserpine is not a traffic.; int11 & sent5 -> hypothesis; __DISPROVED__