the cerate is not a fight.
sent1: if something is diastolic and it shops surname that it is not a fight is correct. sent2: the millet is horse-drawn and it does bog lepidopterology. sent3: something that is not a prostate is a kind of invertible thing that does shop surname. sent4: the fact that the cerate is not a fight and not non-prostate does not hold if the hogshead is not a kind of a fight. sent5: that the fact that the cassava does not shop surname and it is not diastolic is not right is true if the millet does not shop surname. sent6: if the trier is not a kind of a prostate the hogshead is a prostate and it is plutocratic. sent7: something is invertible if it is both not diastolic and not non-prostate. sent8: if that the cassava does not shop surname and is not diastolic is incorrect the molter is invertible. sent9: if the nick is a Adelie then the cerate does fight. sent10: if the fact that the cerate is not plutocratic is true then the fact that the hogshead is not plutocratic but it fights is wrong. sent11: if the molter is invertible then the trier is not prostate. sent12: if the hogshead is a prostate then the nick is a Adelie. sent13: the molter is a prostate. sent14: if the fact that the cassava is a Adelie is not wrong then the millet is not plutocratic and not a prostate. sent15: the molter is invertible if the cassava is diastolic. sent16: that if the hogshead is plutocratic and it shops surname that the hogshead is non-horse-drawn is correct is right. sent17: the cerate shops surname if the millet shops surname. sent18: the hogshead is plutocratic. sent19: if the millet is horse-drawn and it bogs lepidopterology it does not shop surname. sent20: if the fact that something is not invertible and does not shop surname is not right it is invertible. sent21: the fact that the cassava does not shop surname and is diastolic does not hold. sent22: the cerate is diastolic.
sent19 & sent2 -> int1: the millet does not shop surname.; sent5 & int1 -> int2: the fact that the cassava does not shop surname and it is not diastolic is not right.; sent8 & int2 -> int3: the molter is invertible.; sent11 & int3 -> int4: the trier is not a prostate.; sent6 & int4 -> int5: the hogshead is a kind of a prostate and it is plutocratic.; int5 -> int6: the hogshead is a kind of a prostate.; sent12 & int6 -> int7: the nick is a Adelie.; sent9 & int7 -> hypothesis;
the midrib is invertible.
sent20 -> int8: if that the midrib is non-invertible thing that does not shop surname is incorrect then that it is non-invertible hold.; sent7 -> int9: the millet is invertible if it is not diastolic and it is prostate.;
$hypothesis$ = the cerate is not a fight. ; $context$ = sent1: if something is diastolic and it shops surname that it is not a fight is correct. sent2: the millet is horse-drawn and it does bog lepidopterology. sent3: something that is not a prostate is a kind of invertible thing that does shop surname. sent4: the fact that the cerate is not a fight and not non-prostate does not hold if the hogshead is not a kind of a fight. sent5: that the fact that the cassava does not shop surname and it is not diastolic is not right is true if the millet does not shop surname. sent6: if the trier is not a kind of a prostate the hogshead is a prostate and it is plutocratic. sent7: something is invertible if it is both not diastolic and not non-prostate. sent8: if that the cassava does not shop surname and is not diastolic is incorrect the molter is invertible. sent9: if the nick is a Adelie then the cerate does fight. sent10: if the fact that the cerate is not plutocratic is true then the fact that the hogshead is not plutocratic but it fights is wrong. sent11: if the molter is invertible then the trier is not prostate. sent12: if the hogshead is a prostate then the nick is a Adelie. sent13: the molter is a prostate. sent14: if the fact that the cassava is a Adelie is not wrong then the millet is not plutocratic and not a prostate. sent15: the molter is invertible if the cassava is diastolic. sent16: that if the hogshead is plutocratic and it shops surname that the hogshead is non-horse-drawn is correct is right. sent17: the cerate shops surname if the millet shops surname. sent18: the hogshead is plutocratic. sent19: if the millet is horse-drawn and it bogs lepidopterology it does not shop surname. sent20: if the fact that something is not invertible and does not shop surname is not right it is invertible. sent21: the fact that the cassava does not shop surname and is diastolic does not hold. sent22: the cerate is diastolic. ; $proof$ = 
sent19 & sent2 -> int1: the millet does not shop surname.; sent5 & int1 -> int2: the fact that the cassava does not shop surname and it is not diastolic is not right.; sent8 & int2 -> int3: the molter is invertible.; sent11 & int3 -> int4: the trier is not a prostate.; sent6 & int4 -> int5: the hogshead is a kind of a prostate and it is plutocratic.; int5 -> int6: the hogshead is a kind of a prostate.; sent12 & int6 -> int7: the nick is a Adelie.; sent9 & int7 -> hypothesis; __DISPROVED__