that the scourer does not ulcerate and is not a kind of a proconvertin hold.
sent1: the fact that the scourer ulcerates and is not a kind of a proconvertin is not correct. sent2: the fact that the twiner does not inscribe is not false if an unpopular thing is libidinal. sent3: the Tao bushes. sent4: if there exists something such that it does not inscribe the fact that the fact that the scourer does not ulcerate and is not a proconvertin does not hold hold. sent5: if the Tao is a kind of a bush the greylag is tubal. sent6: there is something such that it is libidinal. sent7: the fact that the tabbouleh bushes is right. sent8: if the greylag is tubal then the tabbouleh is not popular but it is libidinal.
sent5 & sent3 -> int1: that the greylag is not non-tubal hold.; sent8 & int1 -> int2: the tabbouleh is a kind of non-popular thing that is libidinal.; int2 -> int3: there are non-popular and libidinal things.; int3 & sent2 -> int4: the twiner does not inscribe.; int4 -> int5: there exists something such that it does not inscribe.; int5 & sent4 -> hypothesis;
$hypothesis$ = that the scourer does not ulcerate and is not a kind of a proconvertin hold. ; $context$ = sent1: the fact that the scourer ulcerates and is not a kind of a proconvertin is not correct. sent2: the fact that the twiner does not inscribe is not false if an unpopular thing is libidinal. sent3: the Tao bushes. sent4: if there exists something such that it does not inscribe the fact that the fact that the scourer does not ulcerate and is not a proconvertin does not hold hold. sent5: if the Tao is a kind of a bush the greylag is tubal. sent6: there is something such that it is libidinal. sent7: the fact that the tabbouleh bushes is right. sent8: if the greylag is tubal then the tabbouleh is not popular but it is libidinal. ; $proof$ = 
sent5 & sent3 -> int1: that the greylag is not non-tubal hold.; sent8 & int1 -> int2: the tabbouleh is a kind of non-popular thing that is libidinal.; int2 -> int3: there are non-popular and libidinal things.; int3 & sent2 -> int4: the twiner does not inscribe.; int4 -> int5: there exists something such that it does not inscribe.; int5 & sent4 -> hypothesis; __DISPROVED__