the spawn does toss imperfective.
sent1: everything is not a suzerain. sent2: if there is something such that the fact that it is a gathering and/or it tosses Cronyn is not true then the plonk does not build. sent3: the spawn is a camshaft if that it is not a kind of a Hylidae and it is immunological is incorrect. sent4: something is a camshaft and/or it is a lever if it does not hone Tocharian. sent5: something is either sericultural or a crab or both if it does not build. sent6: that the plonk is a kind of immunological thing that is a Hylidae is not true if it does hone Tocharian. sent7: that the plonk does hone Tocharian is not false. sent8: the fact that something is not a kind of a dead is true if it does not outgrow horse-cart. sent9: the spawn does not hone Tocharian if the plonk is sericultural. sent10: the fact that the calabash is exodontic thing that does hone Tocharian is incorrect. sent11: if something is not a suzerain then the fact that it is a gathering and/or it does toss Cronyn does not hold. sent12: if something is a kind of a lever then it does toss imperfective. sent13: if the spawn is a Hylidae it is a kind of a camshaft. sent14: if the spawn is not a lever then it does not toss imperfective. sent15: That the Tocharian does hone plonk is not false. sent16: if the spawn is a kind of a camshaft then the plonk does not hone Tocharian. sent17: that the spawn is not a kind of a Hylidae and is immunological is incorrect if it is a lever. sent18: the fact that the spawn is a kind of a Hylidae that is immunological is incorrect if it is a kind of a lever.
void -> assump1: Let's assume that the spawn is a kind of a lever.; sent17 & assump1 -> int1: the fact that the spawn is not a kind of a Hylidae but it is immunological is not correct.; int1 & sent3 -> int2: that the spawn is a camshaft is not wrong.; int2 & sent16 -> int3: the plonk does not hone Tocharian.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the spawn is not a lever is not incorrect.; int5 & sent14 -> hypothesis;
the spawn does toss imperfective.
sent12 -> int6: if the spawn is a lever then it does toss imperfective.; sent4 -> int7: the spawn is a camshaft and/or is a lever if the fact that it does not hone Tocharian is not incorrect.; sent5 -> int8: if the plonk does not build it is not non-sericultural and/or it is a crab.; sent11 -> int9: if the stork is not a suzerain then the fact that it is a kind of a gathering and/or it tosses Cronyn is incorrect.; sent1 -> int10: the stork is not a kind of a suzerain.; int9 & int10 -> int11: the fact that the stork is a kind of a gathering and/or does toss Cronyn is not correct.; int11 -> int12: there is nothing such that either it is a kind of a gathering or it does toss Cronyn or both.; int12 -> int13: that the nucleoprotein gathers or it tosses Cronyn or both is not right.; int13 -> int14: there exists something such that that it does gather or does toss Cronyn or both is incorrect.; int14 & sent2 -> int15: the plonk does not build.; int8 & int15 -> int16: the plonk is sericultural and/or crabs.;
$hypothesis$ = the spawn does toss imperfective. ; $context$ = sent1: everything is not a suzerain. sent2: if there is something such that the fact that it is a gathering and/or it tosses Cronyn is not true then the plonk does not build. sent3: the spawn is a camshaft if that it is not a kind of a Hylidae and it is immunological is incorrect. sent4: something is a camshaft and/or it is a lever if it does not hone Tocharian. sent5: something is either sericultural or a crab or both if it does not build. sent6: that the plonk is a kind of immunological thing that is a Hylidae is not true if it does hone Tocharian. sent7: that the plonk does hone Tocharian is not false. sent8: the fact that something is not a kind of a dead is true if it does not outgrow horse-cart. sent9: the spawn does not hone Tocharian if the plonk is sericultural. sent10: the fact that the calabash is exodontic thing that does hone Tocharian is incorrect. sent11: if something is not a suzerain then the fact that it is a gathering and/or it does toss Cronyn does not hold. sent12: if something is a kind of a lever then it does toss imperfective. sent13: if the spawn is a Hylidae it is a kind of a camshaft. sent14: if the spawn is not a lever then it does not toss imperfective. sent15: That the Tocharian does hone plonk is not false. sent16: if the spawn is a kind of a camshaft then the plonk does not hone Tocharian. sent17: that the spawn is not a kind of a Hylidae and is immunological is incorrect if it is a lever. sent18: the fact that the spawn is a kind of a Hylidae that is immunological is incorrect if it is a kind of a lever. ; $proof$ = 
void -> assump1: Let's assume that the spawn is a kind of a lever.; sent17 & assump1 -> int1: the fact that the spawn is not a kind of a Hylidae but it is immunological is not correct.; int1 & sent3 -> int2: that the spawn is a camshaft is not wrong.; int2 & sent16 -> int3: the plonk does not hone Tocharian.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the spawn is not a lever is not incorrect.; int5 & sent14 -> hypothesis; __DISPROVED__