the magnum is a kind of a pullet.
sent1: if the magnum excretes fecundity it represses coo. sent2: the fact that the magnum is a pullet and it does excrete fecundity does not hold. sent3: that the greasewood is a pullet hold. sent4: the magnum represses coo if the fact that it is a pullet and does not excrete fecundity is wrong. sent5: the magnum represses colligation. sent6: the fact that the upsetter is not mild is not incorrect if there exists something such that either it is not Botswanan or it is not mild or both. sent7: the magnum does not excrete fecundity. sent8: something is non-mild and/or it does not excrete griddlecake if it does not repress coo. sent9: the delavirdine is a kind of a Goodyear that does excrete greasewood. sent10: the Pretender is mild. sent11: the magnum is Botswanan and/or it does not repress coo if there is something such that it does not repress coo. sent12: the Caliphate is psychiatric but it does not excrete fossil. sent13: the Pretender does repress coo. sent14: that the magnum is Botswanan is correct. sent15: the fact that something is mild and does repress coo is wrong if it does not excrete griddlecake. sent16: something is not mild if it is not mild or does not excrete griddlecake or both. sent17: the magnum is semantic and it is a dialectics. sent18: if the Pretender excretes fecundity and it is a kind of a pullet the magnum is not Botswanan. sent19: if the Pretender is a pullet that is Botswanan the magnum does not repress coo. sent20: the Pretender does excrete fecundity. sent21: the Pretender is not mild if the magnum represses coo and it is not non-Botswanan.
void -> assump1: Let's assume that that the magnum is a kind of a pullet but it does not excrete fecundity does not hold.; sent4 & assump1 -> int1: the magnum does repress coo.; int1 & sent14 -> int2: the magnum does repress coo and is Botswanan.; int2 & sent21 -> int3: the Pretender is not mild.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the magnum is a kind of a pullet but it does not excrete fecundity.; int5 -> hypothesis;
the upsetter is not mild.
sent16 -> int6: if the magnum is not mild and/or it does not excrete griddlecake then it is not mild.; sent8 -> int7: the magnum either is not mild or does not excrete griddlecake or both if it does not repress coo.;
$hypothesis$ = the magnum is a kind of a pullet. ; $context$ = sent1: if the magnum excretes fecundity it represses coo. sent2: the fact that the magnum is a pullet and it does excrete fecundity does not hold. sent3: that the greasewood is a pullet hold. sent4: the magnum represses coo if the fact that it is a pullet and does not excrete fecundity is wrong. sent5: the magnum represses colligation. sent6: the fact that the upsetter is not mild is not incorrect if there exists something such that either it is not Botswanan or it is not mild or both. sent7: the magnum does not excrete fecundity. sent8: something is non-mild and/or it does not excrete griddlecake if it does not repress coo. sent9: the delavirdine is a kind of a Goodyear that does excrete greasewood. sent10: the Pretender is mild. sent11: the magnum is Botswanan and/or it does not repress coo if there is something such that it does not repress coo. sent12: the Caliphate is psychiatric but it does not excrete fossil. sent13: the Pretender does repress coo. sent14: that the magnum is Botswanan is correct. sent15: the fact that something is mild and does repress coo is wrong if it does not excrete griddlecake. sent16: something is not mild if it is not mild or does not excrete griddlecake or both. sent17: the magnum is semantic and it is a dialectics. sent18: if the Pretender excretes fecundity and it is a kind of a pullet the magnum is not Botswanan. sent19: if the Pretender is a pullet that is Botswanan the magnum does not repress coo. sent20: the Pretender does excrete fecundity. sent21: the Pretender is not mild if the magnum represses coo and it is not non-Botswanan. ; $proof$ = 
void -> assump1: Let's assume that that the magnum is a kind of a pullet but it does not excrete fecundity does not hold.; sent4 & assump1 -> int1: the magnum does repress coo.; int1 & sent14 -> int2: the magnum does repress coo and is Botswanan.; int2 & sent21 -> int3: the Pretender is not mild.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the magnum is a kind of a pullet but it does not excrete fecundity.; int5 -> hypothesis; __PROVED__