the discharge is thoughtless but it is not a Arkansan.
sent1: that the discharge is thoughtless but it is not a Arkansan is true if the bender is not a kind of a canvas. sent2: if that the enalapril is micrometeoric is correct the bender is a MIT. sent3: if that something does not bow disunity but it canvases is not right then it does bow disunity. sent4: if there exists something such that that it is a workroom and it criticizes kwanza is not right the chloroform is not excusable. sent5: the bender is not non-micrometeoric if the enalapril does not bow disunity. sent6: if something is excusable then the fact that the fact that it is thoughtless and it is not a kind of a Arkansan is not wrong is incorrect. sent7: something that either bows disunity or is not non-professorial or both is not a kind of a canvas. sent8: if something does not criticize kwanza the chloroform is not excusable. sent9: the enalapril is an uptown if the chloroform is not excusable. sent10: if the enalapril is uptown then it is micrometeoric. sent11: the fact that the chloroform is a kind of uptown thing that is not micrometeoric is not correct if it is a kind of a MIT. sent12: the bender bows disunity if it is a MIT. sent13: something is a MIT if it bows disunity.
sent7 -> int1: the bender does not canvas if it bows disunity or it is professorial or both.;
the fact that the discharge is thoughtless but it is not a Arkansan does not hold.
sent6 -> int2: if the discharge is excusable then the fact that it is thoughtless and it is not a Arkansan is false.; sent13 -> int3: if the chloroform bows disunity then it is a MIT.; sent3 -> int4: if that the chloroform does not bow disunity but it canvases is not right then it bow disunity.;
$hypothesis$ = the discharge is thoughtless but it is not a Arkansan. ; $context$ = sent1: that the discharge is thoughtless but it is not a Arkansan is true if the bender is not a kind of a canvas. sent2: if that the enalapril is micrometeoric is correct the bender is a MIT. sent3: if that something does not bow disunity but it canvases is not right then it does bow disunity. sent4: if there exists something such that that it is a workroom and it criticizes kwanza is not right the chloroform is not excusable. sent5: the bender is not non-micrometeoric if the enalapril does not bow disunity. sent6: if something is excusable then the fact that the fact that it is thoughtless and it is not a kind of a Arkansan is not wrong is incorrect. sent7: something that either bows disunity or is not non-professorial or both is not a kind of a canvas. sent8: if something does not criticize kwanza the chloroform is not excusable. sent9: the enalapril is an uptown if the chloroform is not excusable. sent10: if the enalapril is uptown then it is micrometeoric. sent11: the fact that the chloroform is a kind of uptown thing that is not micrometeoric is not correct if it is a kind of a MIT. sent12: the bender bows disunity if it is a MIT. sent13: something is a MIT if it bows disunity. ; $proof$ = 
sent7 -> int1: the bender does not canvas if it bows disunity or it is professorial or both.; __UNKNOWN__