the Garland is budgetary.
sent1: if something does not risk macro then it is non-budgetary and it is non-latitudinal. sent2: if something does not risk macro then it is not tartaric. sent3: that the fact that something is a kind of a markhor and is not tartaric is incorrect if it is onymous is right. sent4: if there is something such that it is not latitudinal the bagasse does not risk macro. sent5: that the bursar is not latitudinal is correct. sent6: the fact that the wader is tartaric is not incorrect. sent7: the Garland is budgetary if the fact that the enamel is a markhor and/or it does not stable former is wrong. sent8: the fact that that the enamel is a kind of a markhor or it does not stable former or both is not incorrect is not true if the defense is not a markhor. sent9: the enamel is not a markhor. sent10: there are latitudinal things. sent11: the wader is tartaric if the bagasse is not tartaric. sent12: the fact that something is onymous is right if it stables former. sent13: something is not a Johnson. sent14: the enamel is not a markhor if that the defense is not a markhor is right. sent15: if the wader is onymous then the defense is not a markhor. sent16: the bagasse strips parity. sent17: if the bagasse does strip parity then it stables former.
sent5 -> int1: there is something such that it is not latitudinal.; int1 & sent4 -> int2: the bagasse does not risk macro.; sent2 -> int3: the bagasse is not tartaric if that it does not risk macro is not false.; int2 & int3 -> int4: the bagasse is not tartaric.;
the Garland is not budgetary.
sent1 -> int5: if the Garland does not risk macro then it is not budgetary and is not latitudinal.; sent3 -> int6: if that the bagasse is not non-onymous is not wrong that it is a markhor and not tartaric does not hold.; sent12 -> int7: the bagasse is onymous if it does stable former.; sent17 & sent16 -> int8: the bagasse stables former.; int7 & int8 -> int9: the bagasse is onymous.; int6 & int9 -> int10: that the bagasse is a markhor but it is not tartaric is incorrect.; int10 -> int11: there is something such that the fact that it is a markhor and not tartaric does not hold.;
$hypothesis$ = the Garland is budgetary. ; $context$ = sent1: if something does not risk macro then it is non-budgetary and it is non-latitudinal. sent2: if something does not risk macro then it is not tartaric. sent3: that the fact that something is a kind of a markhor and is not tartaric is incorrect if it is onymous is right. sent4: if there is something such that it is not latitudinal the bagasse does not risk macro. sent5: that the bursar is not latitudinal is correct. sent6: the fact that the wader is tartaric is not incorrect. sent7: the Garland is budgetary if the fact that the enamel is a markhor and/or it does not stable former is wrong. sent8: the fact that that the enamel is a kind of a markhor or it does not stable former or both is not incorrect is not true if the defense is not a markhor. sent9: the enamel is not a markhor. sent10: there are latitudinal things. sent11: the wader is tartaric if the bagasse is not tartaric. sent12: the fact that something is onymous is right if it stables former. sent13: something is not a Johnson. sent14: the enamel is not a markhor if that the defense is not a markhor is right. sent15: if the wader is onymous then the defense is not a markhor. sent16: the bagasse strips parity. sent17: if the bagasse does strip parity then it stables former. ; $proof$ = 
sent5 -> int1: there is something such that it is not latitudinal.; int1 & sent4 -> int2: the bagasse does not risk macro.; sent2 -> int3: the bagasse is not tartaric if that it does not risk macro is not false.; int2 & int3 -> int4: the bagasse is not tartaric.; __UNKNOWN__