the Hupa is not inadmissible.
sent1: the fact that something is inadmissible hold if it lasts. sent2: something lasts and/or is not inadmissible. sent3: if the Hupa is chancroidal the basalt is chancroidal. sent4: something is a thioridazine or it is non-chancroidal or both. sent5: if there exists something such that the fact that it is not a Niamey and it is a thioridazine is incorrect then the Hupa is chancroidal. sent6: there is nothing such that either it does not hug S or it does champion draft or both. sent7: the basalt lasts if the Hupa is inadmissible. sent8: there exists something such that either it is a kind of a thioridazine or it is chancroidal or both. sent9: that the basalt is not a kind of a Niamey and is a kind of a thioridazine does not hold if the nick is non-wintry. sent10: the Hupa does not smash. sent11: the Hupa is not a kind of a lasting. sent12: if there exists something such that it is a thioridazine the basalt is not lasting. sent13: something is not wintry if the fact that it does not hug S and/or it does champion draft is not correct. sent14: if there is something such that it is a thioridazine or it is not chancroidal or both then the basalt is not a lasting.
void -> assump1: Let's assume that the Hupa is inadmissible.; sent7 & assump1 -> int1: the basalt does last.; sent4 & sent14 -> int2: that the basalt is non-lasting hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the basalt is chancroidal.
$hypothesis$ = the Hupa is not inadmissible. ; $context$ = sent1: the fact that something is inadmissible hold if it lasts. sent2: something lasts and/or is not inadmissible. sent3: if the Hupa is chancroidal the basalt is chancroidal. sent4: something is a thioridazine or it is non-chancroidal or both. sent5: if there exists something such that the fact that it is not a Niamey and it is a thioridazine is incorrect then the Hupa is chancroidal. sent6: there is nothing such that either it does not hug S or it does champion draft or both. sent7: the basalt lasts if the Hupa is inadmissible. sent8: there exists something such that either it is a kind of a thioridazine or it is chancroidal or both. sent9: that the basalt is not a kind of a Niamey and is a kind of a thioridazine does not hold if the nick is non-wintry. sent10: the Hupa does not smash. sent11: the Hupa is not a kind of a lasting. sent12: if there exists something such that it is a thioridazine the basalt is not lasting. sent13: something is not wintry if the fact that it does not hug S and/or it does champion draft is not correct. sent14: if there is something such that it is a thioridazine or it is not chancroidal or both then the basalt is not a lasting. ; $proof$ = 
void -> assump1: Let's assume that the Hupa is inadmissible.; sent7 & assump1 -> int1: the basalt does last.; sent4 & sent14 -> int2: that the basalt is non-lasting hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__