the counter does not balloon.
sent1: the rosebay is not awful if the snowfield is not awful. sent2: that the isogamy is a kind of a demodulation but it does not unclog is false if there is something such that it is not Julian. sent3: the prospector is not a metropolitan. sent4: something is not a kind of a metropolitan. sent5: the counter is not a metropolitan. sent6: if something that is awful is not a crinoid the counter is not a metropolitan. sent7: the snowfield balloons but it is not a metropolitan. sent8: something is a ballooning if that it is not awful and not a ballooning is false. sent9: there is something such that it is a metropolitan and is not awful. sent10: the jerkin is not Julian. sent11: the snowfield is a kind of a crinoid but it is not a metropolitan. sent12: the counter is not awful if there is something such that it does balloon and it is not a kind of a crinoid. sent13: if something is crinoid and it is a kind of a metropolitan the snowfield is not awful. sent14: the fact that the rosebay is not awful if something is both a crinoid and not a metropolitan is true. sent15: the fact that the counter is not a fugleman is not false. sent16: the counter is worldly but it does not tunnel giblet. sent17: the esquire is not metropolitan. sent18: something is not a ballooning. sent19: the snowfield is not awful if something that is a kind of a metropolitan is a kind of a ballooning.
sent11 -> int1: there exists something such that it is a kind of a crinoid that is not a metropolitan.; int1 & sent14 -> int2: the rosebay is not awful.;
the counter is a ballooning.
sent8 -> int3: if the fact that the counter is not awful and it is not a kind of a ballooning is not true it does ballooning.; sent10 -> int4: there exists something such that it is not a Julian.; int4 & sent2 -> int5: the fact that the isogamy is a kind of a demodulation but it does not unclog is not right.; int5 -> int6: there exists something such that the fact that it is a demodulation and it does not unclog does not hold.;
$hypothesis$ = the counter does not balloon. ; $context$ = sent1: the rosebay is not awful if the snowfield is not awful. sent2: that the isogamy is a kind of a demodulation but it does not unclog is false if there is something such that it is not Julian. sent3: the prospector is not a metropolitan. sent4: something is not a kind of a metropolitan. sent5: the counter is not a metropolitan. sent6: if something that is awful is not a crinoid the counter is not a metropolitan. sent7: the snowfield balloons but it is not a metropolitan. sent8: something is a ballooning if that it is not awful and not a ballooning is false. sent9: there is something such that it is a metropolitan and is not awful. sent10: the jerkin is not Julian. sent11: the snowfield is a kind of a crinoid but it is not a metropolitan. sent12: the counter is not awful if there is something such that it does balloon and it is not a kind of a crinoid. sent13: if something is crinoid and it is a kind of a metropolitan the snowfield is not awful. sent14: the fact that the rosebay is not awful if something is both a crinoid and not a metropolitan is true. sent15: the fact that the counter is not a fugleman is not false. sent16: the counter is worldly but it does not tunnel giblet. sent17: the esquire is not metropolitan. sent18: something is not a ballooning. sent19: the snowfield is not awful if something that is a kind of a metropolitan is a kind of a ballooning. ; $proof$ = 
sent11 -> int1: there exists something such that it is a kind of a crinoid that is not a metropolitan.; int1 & sent14 -> int2: the rosebay is not awful.; __UNKNOWN__