the fact that if the syllabub is not postglacial that the EDS is a kind of a color but it is not an antidepressant does not hold is incorrect.
sent1: if the syllabub is non-postglacial the EDS does color but it is not a kind of an antidepressant. sent2: the fact that the EDS is color thing that is a kind of an antidepressant is incorrect. sent3: the syllabub accords heater and is not a Dis. sent4: the syllabub is a debate. sent5: if the EDS is not an antidepressant then the fact that the Wave is not an antidepressant but it is a kind of a Dis does not hold. sent6: the fact that the syllabub is an antidepressant and not postglacial is not right if the EDS does not color. sent7: the fact that the Wave is an antidepressant and is a kind of a Dis is wrong. sent8: the EDS is a Dis and is not a etiolation. sent9: if the EDS is not an antidepressant then that the Wave is a kind of an antidepressant and is a Dis is wrong. sent10: that the Wave is a color but it is not an antidepressant is not right if the EDS is not a Dis. sent11: if that the Wave is not an antidepressant and is a Dis is incorrect then the syllabub is postglacial. sent12: the syllabub does not color. sent13: the fact that the EDS is a color and is not an antidepressant is false if the syllabub is postglacial. sent14: the fact that if the Wave is a kind of an antidepressant then the syllabub is postglacial is correct. sent15: the fact that the Wave is not an antidepressant but it is a Dis is incorrect if the EDS is an antidepressant. sent16: that the EDS colors and it is a kind of an antidepressant is not right if the syllabub is non-postglacial.
void -> assump1: Let's assume that the EDS is not discolor and not an antidepressant.; assump1 -> int1: the EDS is not an antidepressant.; sent5 & int1 -> int2: that the Wave is not a kind of an antidepressant but it is a Dis does not hold.; sent11 & int2 -> int3: the syllabub is postglacial.; void -> assump2: Let's assume that the syllabub is not postglacial.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the EDS is a kind of a color but it is not a kind of an antidepressant is false.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that if the syllabub is not postglacial that the EDS is a kind of a color but it is not an antidepressant does not hold is incorrect. ; $context$ = sent1: if the syllabub is non-postglacial the EDS does color but it is not a kind of an antidepressant. sent2: the fact that the EDS is color thing that is a kind of an antidepressant is incorrect. sent3: the syllabub accords heater and is not a Dis. sent4: the syllabub is a debate. sent5: if the EDS is not an antidepressant then the fact that the Wave is not an antidepressant but it is a kind of a Dis does not hold. sent6: the fact that the syllabub is an antidepressant and not postglacial is not right if the EDS does not color. sent7: the fact that the Wave is an antidepressant and is a kind of a Dis is wrong. sent8: the EDS is a Dis and is not a etiolation. sent9: if the EDS is not an antidepressant then that the Wave is a kind of an antidepressant and is a Dis is wrong. sent10: that the Wave is a color but it is not an antidepressant is not right if the EDS is not a Dis. sent11: if that the Wave is not an antidepressant and is a Dis is incorrect then the syllabub is postglacial. sent12: the syllabub does not color. sent13: the fact that the EDS is a color and is not an antidepressant is false if the syllabub is postglacial. sent14: the fact that if the Wave is a kind of an antidepressant then the syllabub is postglacial is correct. sent15: the fact that the Wave is not an antidepressant but it is a Dis is incorrect if the EDS is an antidepressant. sent16: that the EDS colors and it is a kind of an antidepressant is not right if the syllabub is non-postglacial. ; $proof$ = 
void -> assump1: Let's assume that the EDS is not discolor and not an antidepressant.; assump1 -> int1: the EDS is not an antidepressant.; sent5 & int1 -> int2: that the Wave is not a kind of an antidepressant but it is a Dis does not hold.; sent11 & int2 -> int3: the syllabub is postglacial.; void -> assump2: Let's assume that the syllabub is not postglacial.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the EDS is a kind of a color but it is not a kind of an antidepressant is false.; [assump2] & int5 -> hypothesis; __DISPROVED__