the Tongan is not overt.
sent1: the Tongan is not overt if there are backhand and untranslatable things. sent2: if the warhorse is a planula and does not backhand then the Tongan is not a kind of a planula. sent3: there are backhand and translatable things. sent4: there exists something such that it is not a reactionary. sent5: there exists something such that it does not drink pteridologist. sent6: the fact that that something is not translatable and it is not a Bavarian is correct is wrong if it is inauspicious. sent7: the yam does not drink abstainer. sent8: the yam is both not translatable and not Bavarian. sent9: a non-odorous thing is noncyclic. sent10: the warhorse is not a kind of a stuffer and is not a chrysolite. sent11: the warhorse does not denationalize Coluber. sent12: the warhorse is Hippocratic if it does not denationalize Coluber. sent13: if that something is a planula and Hippocratic is false then that it is not Hippocratic is not incorrect. sent14: The Coluber does not denationalize warhorse. sent15: if something is not motivational then it does denationalize Coluber and is a sabertooth. sent16: something that is not a kind of a planula is a backhand and is motivational. sent17: the warhorse is Hippocratic. sent18: if something is not a planula it is overt and does denationalize Coluber. sent19: that the yam is not Bavarian is correct. sent20: the daylily is not translatable. sent21: if the warhorse does not denationalize Coluber then that it is not Hippocratic and/or it is a kind of a sabertooth does not hold. sent22: if the yam is not translatable it denationalizes Coluber and it is motivational. sent23: that the yam is motivational is correct. sent24: something is not a kind of a sabertooth. sent25: the fact that the warhorse is a planula that is not a kind of a backhand is correct if the yam is not motivational. sent26: the yam is not a kind of a planula if that the warhorse is not Hippocratic or is a sabertooth or both is false.
sent21 & sent11 -> int1: that the warhorse is not Hippocratic or is a kind of a sabertooth or both does not hold.; int1 & sent26 -> int2: the yam is not a kind of a planula.; sent16 -> int3: the yam is a backhand and motivational if it is not a planula.; int2 & int3 -> int4: the yam is not non-backhand and it is motivational.; int4 -> int5: the yam does backhand.; sent8 -> int6: the yam is not translatable.; int5 & int6 -> int7: the yam backhands but it is not translatable.; int7 -> int8: something backhands but it is not translatable.; int8 & sent1 -> hypothesis;
the Tongan is overt.
sent18 -> int9: the Tongan is a kind of overt thing that does denationalize Coluber if it is not a planula.; sent6 -> int10: if the yam is inauspicious then that it is not translatable and it is not Bavarian is false.;
$hypothesis$ = the Tongan is not overt. ; $context$ = sent1: the Tongan is not overt if there are backhand and untranslatable things. sent2: if the warhorse is a planula and does not backhand then the Tongan is not a kind of a planula. sent3: there are backhand and translatable things. sent4: there exists something such that it is not a reactionary. sent5: there exists something such that it does not drink pteridologist. sent6: the fact that that something is not translatable and it is not a Bavarian is correct is wrong if it is inauspicious. sent7: the yam does not drink abstainer. sent8: the yam is both not translatable and not Bavarian. sent9: a non-odorous thing is noncyclic. sent10: the warhorse is not a kind of a stuffer and is not a chrysolite. sent11: the warhorse does not denationalize Coluber. sent12: the warhorse is Hippocratic if it does not denationalize Coluber. sent13: if that something is a planula and Hippocratic is false then that it is not Hippocratic is not incorrect. sent14: The Coluber does not denationalize warhorse. sent15: if something is not motivational then it does denationalize Coluber and is a sabertooth. sent16: something that is not a kind of a planula is a backhand and is motivational. sent17: the warhorse is Hippocratic. sent18: if something is not a planula it is overt and does denationalize Coluber. sent19: that the yam is not Bavarian is correct. sent20: the daylily is not translatable. sent21: if the warhorse does not denationalize Coluber then that it is not Hippocratic and/or it is a kind of a sabertooth does not hold. sent22: if the yam is not translatable it denationalizes Coluber and it is motivational. sent23: that the yam is motivational is correct. sent24: something is not a kind of a sabertooth. sent25: the fact that the warhorse is a planula that is not a kind of a backhand is correct if the yam is not motivational. sent26: the yam is not a kind of a planula if that the warhorse is not Hippocratic or is a sabertooth or both is false. ; $proof$ = 
sent21 & sent11 -> int1: that the warhorse is not Hippocratic or is a kind of a sabertooth or both does not hold.; int1 & sent26 -> int2: the yam is not a kind of a planula.; sent16 -> int3: the yam is a backhand and motivational if it is not a planula.; int2 & int3 -> int4: the yam is not non-backhand and it is motivational.; int4 -> int5: the yam does backhand.; sent8 -> int6: the yam is not translatable.; int5 & int6 -> int7: the yam backhands but it is not translatable.; int7 -> int8: something backhands but it is not translatable.; int8 & sent1 -> hypothesis; __PROVED__