there is something such that if that it is accentual hold then it is not a Kasai.
sent1: if that the linguist is accentual is not incorrect then it is a Kasai. sent2: if the hooch unlooses elevator it is inductive. sent3: there exists something such that if it is a kind of a Bhutanese then it does tabulate hooch. sent4: if the promycelium is accentual it does not invest body. sent5: there exists something such that if it is a Wiccan it is not ampullar. sent6: there exists something such that if it is boustrophedonic then it is Calcuttan. sent7: if the linguist does charter the fact that it is not aeronautical is correct. sent8: if the Jew's-ear does unloose plugged then it is a kind of a scrap. sent9: if the banderillero invests exabyte it is not woolen. sent10: there is something such that if it is a eulogy it does not invest exabyte. sent11: there is something such that if it unlooses elevator it is a kind of a eulogy. sent12: there is something such that if it is accentual the fact that it is a kind of a Kasai hold. sent13: the linguist is not a kind of a Kasai if it is accentual. sent14: something is not a Kasai if that it is a seismogram is not false. sent15: if the linguist is accentual then it is a sarcoptid. sent16: something is not a Kasai if it is dioecious. sent17: there is something such that if the fact that it is a kind of a jewfish is right it does not invest Tractarian. sent18: there exists something such that if it does unloose zinc then it is a kind of a tanga.
sent13 -> hypothesis;
that the linguist is not a kind of a Kasai is true if it is a seismogram.
sent14 -> hypothesis;
$hypothesis$ = there is something such that if that it is accentual hold then it is not a Kasai. ; $context$ = sent1: if that the linguist is accentual is not incorrect then it is a Kasai. sent2: if the hooch unlooses elevator it is inductive. sent3: there exists something such that if it is a kind of a Bhutanese then it does tabulate hooch. sent4: if the promycelium is accentual it does not invest body. sent5: there exists something such that if it is a Wiccan it is not ampullar. sent6: there exists something such that if it is boustrophedonic then it is Calcuttan. sent7: if the linguist does charter the fact that it is not aeronautical is correct. sent8: if the Jew's-ear does unloose plugged then it is a kind of a scrap. sent9: if the banderillero invests exabyte it is not woolen. sent10: there is something such that if it is a eulogy it does not invest exabyte. sent11: there is something such that if it unlooses elevator it is a kind of a eulogy. sent12: there is something such that if it is accentual the fact that it is a kind of a Kasai hold. sent13: the linguist is not a kind of a Kasai if it is accentual. sent14: something is not a Kasai if that it is a seismogram is not false. sent15: if the linguist is accentual then it is a sarcoptid. sent16: something is not a Kasai if it is dioecious. sent17: there is something such that if the fact that it is a kind of a jewfish is right it does not invest Tractarian. sent18: there exists something such that if it does unloose zinc then it is a kind of a tanga. ; $proof$ = 
sent13 -> hypothesis; __PROVED__