the highway is an outburst but not downstream.
sent1: something is a token if it is homiletic and it does not factorize semidiameter. sent2: The semester circles cairngorm. sent3: if the roadrunner is a paloverde the potoroo is a Shebat but it is not a paloverde. sent4: that the optician is a kind of a token that does not tamper is not true if the cairngorm circles semester. sent5: the cairngorm circles semester. sent6: that something is not a token if that it is not an outburst and it is not a paloverde does not hold is true. sent7: the fact that the forgery is not an outburst and not a paloverde is not right if it is a kind of a Shebat. sent8: if the potoroo is a Shebat and is not a paloverde then the juvenescence is not an outburst. sent9: the forgery tampers and is a kind of a Shebat if the roadrunner is not downstream. sent10: something is not downstream if that it is downstream thing that does not factorize semidiameter is not true. sent11: if the forgery does not factorize miscount then the roadrunner is a paloverde. sent12: the roadrunner is not downstream. sent13: if the fact that the optician is homiletic thing that does not factorize semidiameter does not hold then the forgery does not factorize miscount. sent14: if the juvenescence is not an outburst then the highway is an outburst but not downstream.
sent1 -> int1: if the optician is homiletic thing that does not factorize semidiameter it is a token.; void -> assump1: Let's assume that the optician is homiletic but it does not factorize semidiameter.; int1 & assump1 -> int2: the optician is a token.; sent4 & sent5 -> int3: that the optician is a token that does not tamper is not true.;
the highway is non-homiletic.
sent6 -> int4: the forgery is not a kind of a token if that it is not a kind of an outburst and it is not a kind of a paloverde is wrong.; sent9 & sent12 -> int5: the forgery does tamper and is a Shebat.; int5 -> int6: the forgery is a Shebat.; sent7 & int6 -> int7: that the forgery is not an outburst and it is not a kind of a paloverde is not correct.; int4 & int7 -> int8: the forgery is not a kind of a token.; int8 -> int9: there is something such that that it is not a token hold.;
$hypothesis$ = the highway is an outburst but not downstream. ; $context$ = sent1: something is a token if it is homiletic and it does not factorize semidiameter. sent2: The semester circles cairngorm. sent3: if the roadrunner is a paloverde the potoroo is a Shebat but it is not a paloverde. sent4: that the optician is a kind of a token that does not tamper is not true if the cairngorm circles semester. sent5: the cairngorm circles semester. sent6: that something is not a token if that it is not an outburst and it is not a paloverde does not hold is true. sent7: the fact that the forgery is not an outburst and not a paloverde is not right if it is a kind of a Shebat. sent8: if the potoroo is a Shebat and is not a paloverde then the juvenescence is not an outburst. sent9: the forgery tampers and is a kind of a Shebat if the roadrunner is not downstream. sent10: something is not downstream if that it is downstream thing that does not factorize semidiameter is not true. sent11: if the forgery does not factorize miscount then the roadrunner is a paloverde. sent12: the roadrunner is not downstream. sent13: if the fact that the optician is homiletic thing that does not factorize semidiameter does not hold then the forgery does not factorize miscount. sent14: if the juvenescence is not an outburst then the highway is an outburst but not downstream. ; $proof$ = 
sent1 -> int1: if the optician is homiletic thing that does not factorize semidiameter it is a token.; void -> assump1: Let's assume that the optician is homiletic but it does not factorize semidiameter.; int1 & assump1 -> int2: the optician is a token.; sent4 & sent5 -> int3: that the optician is a token that does not tamper is not true.; __UNKNOWN__