the barrow is not macaronic.
sent1: if there is something such that that it does not even tutee and it is not a kind of a burden is not true then the selection is a burden. sent2: the buckboard is not congruent. sent3: if there is something such that the fact that it is not a strapless and it does not even tutee is not right then the selection even tutee. sent4: the fact that if something is resentful that it does romp and it is not a burden is false is true. sent5: there exists something such that it romps. sent6: there exists something such that the fact that it does not even tutee and it is a burden is not correct. sent7: the fact that the selection romps if the selection is congruent is not wrong. sent8: there is something such that that it does even tutee and it is not a kind of a burden is wrong. sent9: there exists something such that it does not even tutee and it is not a burden. sent10: the selection is macaronic if it does romp. sent11: the selection does burden if there is something such that it does burden. sent12: the barrow is not macaronic if there is something such that it burdens and it romps. sent13: the selection is congruent. sent14: if that the selection does not romp is not incorrect the barrow is congruent and macaronic.
sent7 & sent13 -> int1: the selection romps.;
the barrow is macaronic.
sent4 -> int2: the fact that the selection romps but it does not burden is not true if it is resentful.;
$hypothesis$ = the barrow is not macaronic. ; $context$ = sent1: if there is something such that that it does not even tutee and it is not a kind of a burden is not true then the selection is a burden. sent2: the buckboard is not congruent. sent3: if there is something such that the fact that it is not a strapless and it does not even tutee is not right then the selection even tutee. sent4: the fact that if something is resentful that it does romp and it is not a burden is false is true. sent5: there exists something such that it romps. sent6: there exists something such that the fact that it does not even tutee and it is a burden is not correct. sent7: the fact that the selection romps if the selection is congruent is not wrong. sent8: there is something such that that it does even tutee and it is not a kind of a burden is wrong. sent9: there exists something such that it does not even tutee and it is not a burden. sent10: the selection is macaronic if it does romp. sent11: the selection does burden if there is something such that it does burden. sent12: the barrow is not macaronic if there is something such that it burdens and it romps. sent13: the selection is congruent. sent14: if that the selection does not romp is not incorrect the barrow is congruent and macaronic. ; $proof$ = 
sent7 & sent13 -> int1: the selection romps.; __UNKNOWN__