the network is not cathectic.
sent1: if the manganese does not misdirect then it is a kind of a pinch that does not tabulate diskette. sent2: the lady does tabulate pincer if there is something such that it either is tympanic or is not virile or both. sent3: the manganese does not misdirect if something that tabulates pincer does invest Atriplex. sent4: the lady invests Atriplex. sent5: The Atriplex invests lady. sent6: the manganese is a kind of cathectic thing that does not invest Atriplex if it is not a pinch. sent7: if a pinch does not tabulate diskette then the network is cathectic. sent8: the manganese is a kind of a pinch but it is not cathectic. sent9: something is not uterine. sent10: the streetcar invests Atriplex. sent11: something is a kind of congregational thing that does not unloose swoop. sent12: the network misdirects. sent13: the manganese tabulates pincer. sent14: if there is something such that it does tabulate pincer and it does pinch the manganese is not cathectic. sent15: the lady does not pinch if something tabulates pincer and it does misdirect. sent16: there is something such that it either is tympanic or is not virile or both. sent17: something does not bid. sent18: something misdirects or it does not tabulate pincer or both. sent19: the network does not tabulate diskette.
sent16 & sent2 -> int1: the lady does tabulate pincer.; int1 & sent4 -> int2: the lady does tabulate pincer and it invests Atriplex.; int2 -> int3: something tabulates pincer and does invest Atriplex.; int3 & sent3 -> int4: that the manganese does not misdirect hold.; int4 & sent1 -> int5: the manganese is a pinch but it does not tabulate diskette.; int5 -> int6: something does pinch but it does not tabulate diskette.; int6 & sent7 -> hypothesis;
$hypothesis$ = the network is not cathectic. ; $context$ = sent1: if the manganese does not misdirect then it is a kind of a pinch that does not tabulate diskette. sent2: the lady does tabulate pincer if there is something such that it either is tympanic or is not virile or both. sent3: the manganese does not misdirect if something that tabulates pincer does invest Atriplex. sent4: the lady invests Atriplex. sent5: The Atriplex invests lady. sent6: the manganese is a kind of cathectic thing that does not invest Atriplex if it is not a pinch. sent7: if a pinch does not tabulate diskette then the network is cathectic. sent8: the manganese is a kind of a pinch but it is not cathectic. sent9: something is not uterine. sent10: the streetcar invests Atriplex. sent11: something is a kind of congregational thing that does not unloose swoop. sent12: the network misdirects. sent13: the manganese tabulates pincer. sent14: if there is something such that it does tabulate pincer and it does pinch the manganese is not cathectic. sent15: the lady does not pinch if something tabulates pincer and it does misdirect. sent16: there is something such that it either is tympanic or is not virile or both. sent17: something does not bid. sent18: something misdirects or it does not tabulate pincer or both. sent19: the network does not tabulate diskette. ; $proof$ = 
sent16 & sent2 -> int1: the lady does tabulate pincer.; int1 & sent4 -> int2: the lady does tabulate pincer and it invests Atriplex.; int2 -> int3: something tabulates pincer and does invest Atriplex.; int3 & sent3 -> int4: that the manganese does not misdirect hold.; int4 & sent1 -> int5: the manganese is a pinch but it does not tabulate diskette.; int5 -> int6: something does pinch but it does not tabulate diskette.; int6 & sent7 -> hypothesis; __DISPROVED__