that the diestock does not tumefy and it is not later is not correct.
sent1: the tampon is cataclinal if the fact that it is a skiffle that does not pare crevice does not hold. sent2: the tampon is not an antibacterial. sent3: the tampon is nonlexical if it does supple chordamesoderm and is antibacterial. sent4: the tampon is cataclinal if it does pare crevice. sent5: if something supples chordamesoderm and is an antibacterial it is not non-nonlexical. sent6: if something does not supple anaerobe then it is not cataclinal. sent7: the fact that the tampon is a kind of a skiffle and it does pare crevice is false. sent8: if the tampon is nonlexical then the fact that the diestock does not tumefy and it is not later is correct. sent9: something is not an antibacterial if it does not pare crevice. sent10: if the tampon is an antibacterial then it does not supple anaerobe. sent11: that the diestock is amphitropous and is not later is not right. sent12: the fact that something does not tumefy and it is not later is not correct if it is cataclinal. sent13: if the diestock is later and does not pare crevice then it tumefies. sent14: if that something does supple chordamesoderm but it is not a kind of an antibacterial is right then it is nonlexical. sent15: the diestock does not tumefy. sent16: the tampon does not supple anaerobe if that it does supple chordamesoderm and is not an antibacterial is false. sent17: that the tampon is a skiffle but it does not pare crevice does not hold. sent18: if that the tampon is nonlexical is correct the diestock does not tumefy. sent19: that the tampon supples chordamesoderm and it is an antibacterial does not hold.
void -> assump1: Let's assume that that the fact that the tampon supples chordamesoderm and is not a kind of an antibacterial is incorrect is true.; sent16 & assump1 -> int1: the tampon does not supple anaerobe.; sent6 -> int2: the fact that if the fact that the tampon does not supple anaerobe is not incorrect the tampon is not cataclinal is not incorrect.; int1 & int2 -> int3: the tampon is not cataclinal.; sent1 & sent17 -> int4: the tampon is cataclinal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tampon supples chordamesoderm and is non-antibacterial.; sent14 -> int7: if the tampon supples chordamesoderm but it is not a kind of an antibacterial then it is nonlexical.; int6 & int7 -> int8: the tampon is nonlexical.; int8 & sent8 -> hypothesis;
that the diestock does not tumefy and it is not later does not hold.
sent12 -> int9: the fact that the diestock does not tumefy and is not later is not true if it is cataclinal.;
$hypothesis$ = that the diestock does not tumefy and it is not later is not correct. ; $context$ = sent1: the tampon is cataclinal if the fact that it is a skiffle that does not pare crevice does not hold. sent2: the tampon is not an antibacterial. sent3: the tampon is nonlexical if it does supple chordamesoderm and is antibacterial. sent4: the tampon is cataclinal if it does pare crevice. sent5: if something supples chordamesoderm and is an antibacterial it is not non-nonlexical. sent6: if something does not supple anaerobe then it is not cataclinal. sent7: the fact that the tampon is a kind of a skiffle and it does pare crevice is false. sent8: if the tampon is nonlexical then the fact that the diestock does not tumefy and it is not later is correct. sent9: something is not an antibacterial if it does not pare crevice. sent10: if the tampon is an antibacterial then it does not supple anaerobe. sent11: that the diestock is amphitropous and is not later is not right. sent12: the fact that something does not tumefy and it is not later is not correct if it is cataclinal. sent13: if the diestock is later and does not pare crevice then it tumefies. sent14: if that something does supple chordamesoderm but it is not a kind of an antibacterial is right then it is nonlexical. sent15: the diestock does not tumefy. sent16: the tampon does not supple anaerobe if that it does supple chordamesoderm and is not an antibacterial is false. sent17: that the tampon is a skiffle but it does not pare crevice does not hold. sent18: if that the tampon is nonlexical is correct the diestock does not tumefy. sent19: that the tampon supples chordamesoderm and it is an antibacterial does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the tampon supples chordamesoderm and is not a kind of an antibacterial is incorrect is true.; sent16 & assump1 -> int1: the tampon does not supple anaerobe.; sent6 -> int2: the fact that if the fact that the tampon does not supple anaerobe is not incorrect the tampon is not cataclinal is not incorrect.; int1 & int2 -> int3: the tampon is not cataclinal.; sent1 & sent17 -> int4: the tampon is cataclinal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tampon supples chordamesoderm and is non-antibacterial.; sent14 -> int7: if the tampon supples chordamesoderm but it is not a kind of an antibacterial then it is nonlexical.; int6 & int7 -> int8: the tampon is nonlexical.; int8 & sent8 -> hypothesis; __DISPROVED__