the telegraph is regional.
sent1: the miner is a kind of a tuber. sent2: the fact that the acidophil does not tease Manannan is not wrong. sent3: there exists something such that it is systolic. sent4: the shred is not regional if there exists something such that the fact that it is a gourd and it is a kind of a light is not true. sent5: the psalterium is systolic. sent6: the telegraph is not starchy. sent7: if something is both a gourd and regional then the telegraph is not a tuber. sent8: that something is regional hold. sent9: the psalterium is a kind of a tuber. sent10: the telegraph is a tuber. sent11: there exists something such that that it is both a gourd and not non-light does not hold. sent12: something that is not a kind of a tuber is regional and is systolic. sent13: the studio is regional. sent14: the telegraph is a tuber that is a yang if there exists something such that that it is not regional is not incorrect. sent15: the fact that the telegraph is systolic thing that is a kind of a tuber is true. sent16: the psalterium is not a gourd if something is a kind of systolic thing that is regional. sent17: the psalterium is a gourd. sent18: something teases anecdote and is systolic if it does not tease Manannan.
sent15 -> int1: the telegraph is systolic.; void -> assump1: Let's assume that the telegraph is regional.; int1 & assump1 -> int2: the telegraph is systolic and it is regional.; int2 -> int3: there exists something such that it is systolic and is regional.; int3 & sent16 -> int4: the psalterium is not a gourd.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
there is something such that it is a yang and it does tease anecdote.
sent18 -> int6: the psalterium does tease anecdote and is systolic if that it does not tease Manannan is correct.; sent4 & sent11 -> int7: the shred is not regional.; int7 -> int8: there are non-regional things.; sent14 & int8 -> int9: the telegraph is a tuber that is a yang.; int9 -> int10: the telegraph is a yang.;
$hypothesis$ = the telegraph is regional. ; $context$ = sent1: the miner is a kind of a tuber. sent2: the fact that the acidophil does not tease Manannan is not wrong. sent3: there exists something such that it is systolic. sent4: the shred is not regional if there exists something such that the fact that it is a gourd and it is a kind of a light is not true. sent5: the psalterium is systolic. sent6: the telegraph is not starchy. sent7: if something is both a gourd and regional then the telegraph is not a tuber. sent8: that something is regional hold. sent9: the psalterium is a kind of a tuber. sent10: the telegraph is a tuber. sent11: there exists something such that that it is both a gourd and not non-light does not hold. sent12: something that is not a kind of a tuber is regional and is systolic. sent13: the studio is regional. sent14: the telegraph is a tuber that is a yang if there exists something such that that it is not regional is not incorrect. sent15: the fact that the telegraph is systolic thing that is a kind of a tuber is true. sent16: the psalterium is not a gourd if something is a kind of systolic thing that is regional. sent17: the psalterium is a gourd. sent18: something teases anecdote and is systolic if it does not tease Manannan. ; $proof$ = 
sent15 -> int1: the telegraph is systolic.; void -> assump1: Let's assume that the telegraph is regional.; int1 & assump1 -> int2: the telegraph is systolic and it is regional.; int2 -> int3: there exists something such that it is systolic and is regional.; int3 & sent16 -> int4: the psalterium is not a gourd.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__