the payer is not a kind of a barren.
sent1: the fact that the Calla does not individuate humility is not wrong. sent2: the worker is not a Amelanchier. sent3: there is something such that it is not a feldspar and it is not capsular. sent4: there exists something such that that it is not a hanging and is not bladdery is not correct. sent5: something is not a soundtrack and is not a feldspar. sent6: if that the knuckle is unsatisfactory is right then the gut is a Amelanchier. sent7: the worker is a soundtrack if the gut is not a kind of a soundtrack. sent8: if the Calla does not individuate humility then it is a draft and it is apian. sent9: the fact that the payer is a kind of a Hegira is true. sent10: if a Amelanchier is micaceous the fact that it is not a soundtrack hold. sent11: if something is a draft that is apian the hookworm is a Perm. sent12: if the gut is not micaceous then the payer does whelp morrow but it is not unsatisfactory. sent13: the hookworm is a cadaverine if it is a Perm. sent14: the praya does not scoff and it is not hydrous. sent15: the payer is a barren if it does whelp morrow and it is not unsatisfactory. sent16: the exon does ruminate. sent17: if something is tuberculate then that it is not a Levantine and/or it does not individuate Abelmoschus is wrong. sent18: there is something such that it is not a Amelanchier and it is not unsatisfactory. sent19: that the worker is a feldspar but it is not capsular does not hold. sent20: the payer is not a barren if the worker is a kind of a soundtrack and is not a barren. sent21: if something is a cadaverine then it is tuberculate. sent22: the gut is micaceous if it is a kind of a barren and it is not capsular. sent23: the worker is a Amelanchier if it is not a soundtrack. sent24: the worker is not a soundtrack if it is not a feldspar and is non-capsular. sent25: if there exists something such that that it is not a feldspar and it is not capsular is not true then the gut is not micaceous.
void -> assump1: Let's assume that the worker is not a kind of a feldspar and it is not capsular.; sent24 & assump1 -> int1: that the worker is not a soundtrack is correct.; int1 & sent23 -> int2: the worker is a kind of a Amelanchier.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the worker is not a feldspar and is not capsular is not right.; int4 -> int5: there exists something such that the fact that that it is not a feldspar and not capsular is not false is not true.; int5 & sent25 -> int6: the gut is not micaceous.; int6 & sent12 -> int7: the payer whelps morrow and is not unsatisfactory.; int7 & sent15 -> hypothesis;
the payer is not a barren.
sent10 -> int8: the gut is not a soundtrack if it is a kind of a Amelanchier that is micaceous.; sent16 -> int9: something ruminates.; sent17 -> int10: if the hookworm is tuberculate then the fact that it is not a Levantine or it does not individuate Abelmoschus or both is not true.; sent21 -> int11: if the fact that the hookworm is a cadaverine is not wrong then it is tuberculate.; sent8 & sent1 -> int12: the Calla is a draft and is apian.; int12 -> int13: something is a draft and it is apian.; int13 & sent11 -> int14: the hookworm is a Perm.; sent13 & int14 -> int15: the hookworm is a kind of a cadaverine.; int11 & int15 -> int16: the hookworm is tuberculate.; int10 & int16 -> int17: that either the hookworm is not Levantine or it does not individuate Abelmoschus or both is false.; int17 -> int18: there exists something such that that it is not a Levantine or it does not individuate Abelmoschus or both is not true.;
$hypothesis$ = the payer is not a kind of a barren. ; $context$ = sent1: the fact that the Calla does not individuate humility is not wrong. sent2: the worker is not a Amelanchier. sent3: there is something such that it is not a feldspar and it is not capsular. sent4: there exists something such that that it is not a hanging and is not bladdery is not correct. sent5: something is not a soundtrack and is not a feldspar. sent6: if that the knuckle is unsatisfactory is right then the gut is a Amelanchier. sent7: the worker is a soundtrack if the gut is not a kind of a soundtrack. sent8: if the Calla does not individuate humility then it is a draft and it is apian. sent9: the fact that the payer is a kind of a Hegira is true. sent10: if a Amelanchier is micaceous the fact that it is not a soundtrack hold. sent11: if something is a draft that is apian the hookworm is a Perm. sent12: if the gut is not micaceous then the payer does whelp morrow but it is not unsatisfactory. sent13: the hookworm is a cadaverine if it is a Perm. sent14: the praya does not scoff and it is not hydrous. sent15: the payer is a barren if it does whelp morrow and it is not unsatisfactory. sent16: the exon does ruminate. sent17: if something is tuberculate then that it is not a Levantine and/or it does not individuate Abelmoschus is wrong. sent18: there is something such that it is not a Amelanchier and it is not unsatisfactory. sent19: that the worker is a feldspar but it is not capsular does not hold. sent20: the payer is not a barren if the worker is a kind of a soundtrack and is not a barren. sent21: if something is a cadaverine then it is tuberculate. sent22: the gut is micaceous if it is a kind of a barren and it is not capsular. sent23: the worker is a Amelanchier if it is not a soundtrack. sent24: the worker is not a soundtrack if it is not a feldspar and is non-capsular. sent25: if there exists something such that that it is not a feldspar and it is not capsular is not true then the gut is not micaceous. ; $proof$ = 
void -> assump1: Let's assume that the worker is not a kind of a feldspar and it is not capsular.; sent24 & assump1 -> int1: that the worker is not a soundtrack is correct.; int1 & sent23 -> int2: the worker is a kind of a Amelanchier.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the worker is not a feldspar and is not capsular is not right.; int4 -> int5: there exists something such that the fact that that it is not a feldspar and not capsular is not false is not true.; int5 & sent25 -> int6: the gut is not micaceous.; int6 & sent12 -> int7: the payer whelps morrow and is not unsatisfactory.; int7 & sent15 -> hypothesis; __DISPROVED__