the dyer does rear agglomerate.
sent1: if something does butt broadloom then it rears settling. sent2: the megaspore butts broadloom if something is proper and/or it weaves megaspore. sent3: the megaspore is not a Luvaridae. sent4: the fact that the episcopate leans or it is the transmigration or both if the episcopate is known is not wrong. sent5: the polymastigote does not rear agglomerate. sent6: there is something such that it butts broadloom. sent7: the dyer weaves megaspore and/or does butt broadloom if there exists something such that it does butt broadloom. sent8: if something butts broadloom then that it is a transmigration is not incorrect. sent9: if the dyer does weave megaspore then it is a transmigration. sent10: the dyer is not a galvanization. sent11: if that the polymastigote is both a Luvaridae and Frankish is wrong it is not a kind of a transmigration. sent12: the polymastigote is not a transmigration if it is not a Luvaridae. sent13: that the polymastigote is a Luvaridae and it is Frankish is wrong. sent14: if there exists something such that it does weave megaspore then the megaspore butts broadloom. sent15: that the megaspore rears agglomerate and it butts broadloom is not right. sent16: something is not improper or does weave megaspore or both if it is not a kind of a transmigration. sent17: the megaspore does rear agglomerate if the dyer does rear settling. sent18: if the megaspore does rear settling the dyer rears agglomerate. sent19: if a transmigration is proper it does not rear agglomerate.
sent11 & sent13 -> int1: the polymastigote is not a transmigration.; sent16 -> int2: if the polymastigote is not a kind of a transmigration then it is not improper or it does weave megaspore or both.; int1 & int2 -> int3: the polymastigote is proper and/or it does weave megaspore.; int3 -> int4: something is proper or weaves megaspore or both.; int4 & sent2 -> int5: the megaspore does butt broadloom.; sent1 -> int6: if the megaspore butts broadloom then it does rear settling.; int5 & int6 -> int7: the megaspore does rear settling.; int7 & sent18 -> hypothesis;
that the dyer does not rear agglomerate hold.
sent19 -> int8: the fact that if the dyer is a kind of the transmigration and it is proper the dyer does not rear agglomerate hold.; sent6 & sent7 -> int9: the dyer weaves megaspore and/or it does butt broadloom.; sent8 -> int10: the fact that the dyer is not a transmigration does not hold if the fact that it butts broadloom is not incorrect.; int9 & sent9 & int10 -> int11: the dyer is a kind of a transmigration.;
$hypothesis$ = the dyer does rear agglomerate. ; $context$ = sent1: if something does butt broadloom then it rears settling. sent2: the megaspore butts broadloom if something is proper and/or it weaves megaspore. sent3: the megaspore is not a Luvaridae. sent4: the fact that the episcopate leans or it is the transmigration or both if the episcopate is known is not wrong. sent5: the polymastigote does not rear agglomerate. sent6: there is something such that it butts broadloom. sent7: the dyer weaves megaspore and/or does butt broadloom if there exists something such that it does butt broadloom. sent8: if something butts broadloom then that it is a transmigration is not incorrect. sent9: if the dyer does weave megaspore then it is a transmigration. sent10: the dyer is not a galvanization. sent11: if that the polymastigote is both a Luvaridae and Frankish is wrong it is not a kind of a transmigration. sent12: the polymastigote is not a transmigration if it is not a Luvaridae. sent13: that the polymastigote is a Luvaridae and it is Frankish is wrong. sent14: if there exists something such that it does weave megaspore then the megaspore butts broadloom. sent15: that the megaspore rears agglomerate and it butts broadloom is not right. sent16: something is not improper or does weave megaspore or both if it is not a kind of a transmigration. sent17: the megaspore does rear agglomerate if the dyer does rear settling. sent18: if the megaspore does rear settling the dyer rears agglomerate. sent19: if a transmigration is proper it does not rear agglomerate. ; $proof$ = 
sent11 & sent13 -> int1: the polymastigote is not a transmigration.; sent16 -> int2: if the polymastigote is not a kind of a transmigration then it is not improper or it does weave megaspore or both.; int1 & int2 -> int3: the polymastigote is proper and/or it does weave megaspore.; int3 -> int4: something is proper or weaves megaspore or both.; int4 & sent2 -> int5: the megaspore does butt broadloom.; sent1 -> int6: if the megaspore butts broadloom then it does rear settling.; int5 & int6 -> int7: the megaspore does rear settling.; int7 & sent18 -> hypothesis; __PROVED__