the ax is a kind of a goliard.
sent1: something does haze vasotomy. sent2: something is a weir or it is an absolute or both if it is not a kind of a Bulgarian. sent3: if the fact that the sourwood does haze vasotomy and it is a goliard does not hold then the ax is not lengthwise. sent4: a weir is indiscreet. sent5: the scarf hazes vasotomy. sent6: there exists something such that that it does not haze Loki and/or does haze vasotomy is wrong. sent7: if there is something such that that it does not haze Loki or does not haze vasotomy or both is false then the holmium is not a kind of a stand-in. sent8: if the holmium is not a kind of a stand-in then the fact that the sourwood is a stand-in and it is lengthwise is incorrect. sent9: that the meerkat is nonprehensile is true. sent10: if the fact that something is a kind of bare thing that does not surmise Phalacrocoracidae is wrong then it is not Bulgarian. sent11: if the sourwood is not discreet the holmium is not lengthwise but it is a kind of a sarcosome. sent12: that the meerkat is intense is true. sent13: there exists something such that the fact that either it hazes Loki or it does not haze vasotomy or both is wrong. sent14: there exists something such that it does not haze Loki and/or does not haze vasotomy. sent15: the ax is a goliard if the fact that the fact that the holmium is not a goliard and not a stand-in is false is not false. sent16: that the mainland is bare but it does not surmise Phalacrocoracidae does not hold if there is something such that the fact that it does surmise Phalacrocoracidae is true. sent17: if something that is nonprehensile is intense then the callus does surmise Phalacrocoracidae. sent18: that something is not a goliard and it is not a stand-in is incorrect if it is not lengthwise. sent19: that the scarf does not haze Loki or it does not haze vasotomy or both is incorrect. sent20: there is something such that it does haze Loki. sent21: the sourwood is a kind of a weir if the mainland is a weir. sent22: if the sourwood is not lengthwise that the ax is not a goliard hold. sent23: the ax is not a kind of a goliard if that the sourwood is both a stand-in and lengthwise is not correct.
sent19 -> int1: there is something such that the fact that it does not haze Loki and/or it does not haze vasotomy is incorrect.; int1 & sent7 -> int2: the holmium is not a stand-in.; sent8 & int2 -> int3: that that the sourwood is a stand-in and it is lengthwise does not hold is correct.; sent23 & int3 -> hypothesis;
the ax is a kind of a goliard.
sent18 -> int4: the fact that the holmium is not a goliard and not a stand-in is not right if it is not lengthwise.; sent4 -> int5: if the sourwood is a kind of a weir then it is not discreet.; sent2 -> int6: the mainland is a weir and/or is an absolute if it is not a kind of a Bulgarian.; sent10 -> int7: that the mainland is a Bulgarian does not hold if the fact that the fact that it is bare and it does not surmise Phalacrocoracidae is right does not hold.; sent9 & sent12 -> int8: the meerkat is nonprehensile and it is intense.; int8 -> int9: there are nonprehensile and intense things.; int9 & sent17 -> int10: the callus surmises Phalacrocoracidae.; int10 -> int11: the fact that something does surmise Phalacrocoracidae is not false.; int11 & sent16 -> int12: that the mainland is a kind of bare thing that does not surmise Phalacrocoracidae does not hold.; int7 & int12 -> int13: the fact that the mainland is not Bulgarian is correct.; int6 & int13 -> int14: the mainland is a weir or an absolute or both.;
$hypothesis$ = the ax is a kind of a goliard. ; $context$ = sent1: something does haze vasotomy. sent2: something is a weir or it is an absolute or both if it is not a kind of a Bulgarian. sent3: if the fact that the sourwood does haze vasotomy and it is a goliard does not hold then the ax is not lengthwise. sent4: a weir is indiscreet. sent5: the scarf hazes vasotomy. sent6: there exists something such that that it does not haze Loki and/or does haze vasotomy is wrong. sent7: if there is something such that that it does not haze Loki or does not haze vasotomy or both is false then the holmium is not a kind of a stand-in. sent8: if the holmium is not a kind of a stand-in then the fact that the sourwood is a stand-in and it is lengthwise is incorrect. sent9: that the meerkat is nonprehensile is true. sent10: if the fact that something is a kind of bare thing that does not surmise Phalacrocoracidae is wrong then it is not Bulgarian. sent11: if the sourwood is not discreet the holmium is not lengthwise but it is a kind of a sarcosome. sent12: that the meerkat is intense is true. sent13: there exists something such that the fact that either it hazes Loki or it does not haze vasotomy or both is wrong. sent14: there exists something such that it does not haze Loki and/or does not haze vasotomy. sent15: the ax is a goliard if the fact that the fact that the holmium is not a goliard and not a stand-in is false is not false. sent16: that the mainland is bare but it does not surmise Phalacrocoracidae does not hold if there is something such that the fact that it does surmise Phalacrocoracidae is true. sent17: if something that is nonprehensile is intense then the callus does surmise Phalacrocoracidae. sent18: that something is not a goliard and it is not a stand-in is incorrect if it is not lengthwise. sent19: that the scarf does not haze Loki or it does not haze vasotomy or both is incorrect. sent20: there is something such that it does haze Loki. sent21: the sourwood is a kind of a weir if the mainland is a weir. sent22: if the sourwood is not lengthwise that the ax is not a goliard hold. sent23: the ax is not a kind of a goliard if that the sourwood is both a stand-in and lengthwise is not correct. ; $proof$ = 
sent19 -> int1: there is something such that the fact that it does not haze Loki and/or it does not haze vasotomy is incorrect.; int1 & sent7 -> int2: the holmium is not a stand-in.; sent8 & int2 -> int3: that that the sourwood is a stand-in and it is lengthwise does not hold is correct.; sent23 & int3 -> hypothesis; __DISPROVED__