the highflier does not recline h.
sent1: the toucher is a kind of a euglena if the h is saxicolous. sent2: the h either is saxicolous or reclines Tachypleus or both if it is not a carnation. sent3: something is not ampullar if it is not a carnation and it is a euglena. sent4: the fact that the toucher is not a hollygrape but it is biquadratic is not false. sent5: if that the toucher is a euglena hold that it is not a hollygrape and it is not non-biquadratic is wrong. sent6: if the h is a euglena then that the highflier is a carnation is not wrong. sent7: the toucher is a kind of a euglena if the h does recline Tachypleus. sent8: if the h is a carnation then it is ampullar. sent9: something that is either not a pouch or non-biquadratic or both is not a hollygrape. sent10: the highflier does not recline h if the h is ampullar and it does pouch. sent11: the toucher is saxicolous. sent12: if the toucher is a biquadratic then that it does not recline h and does recline Tachypleus is not correct. sent13: something reclines h if it is a kind of a carnation. sent14: if the h is not a hollygrape then the highflier is not a carnation but a euglena.
void -> assump1: Let's assume that the h is not a carnation.; sent2 & assump1 -> int1: the h is saxicolous or it reclines Tachypleus or both.; int1 & sent1 & sent7 -> int2: the toucher is a euglena.; int2 & sent5 -> int3: the fact that the toucher is both not a hollygrape and biquadratic is wrong.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the h is a carnation.; int5 & sent8 -> int6: the h is ampullar.;
the highflier reclines h.
sent13 -> int7: if the highflier is a carnation then it does recline h.;
$hypothesis$ = the highflier does not recline h. ; $context$ = sent1: the toucher is a kind of a euglena if the h is saxicolous. sent2: the h either is saxicolous or reclines Tachypleus or both if it is not a carnation. sent3: something is not ampullar if it is not a carnation and it is a euglena. sent4: the fact that the toucher is not a hollygrape but it is biquadratic is not false. sent5: if that the toucher is a euglena hold that it is not a hollygrape and it is not non-biquadratic is wrong. sent6: if the h is a euglena then that the highflier is a carnation is not wrong. sent7: the toucher is a kind of a euglena if the h does recline Tachypleus. sent8: if the h is a carnation then it is ampullar. sent9: something that is either not a pouch or non-biquadratic or both is not a hollygrape. sent10: the highflier does not recline h if the h is ampullar and it does pouch. sent11: the toucher is saxicolous. sent12: if the toucher is a biquadratic then that it does not recline h and does recline Tachypleus is not correct. sent13: something reclines h if it is a kind of a carnation. sent14: if the h is not a hollygrape then the highflier is not a carnation but a euglena. ; $proof$ = 
void -> assump1: Let's assume that the h is not a carnation.; sent2 & assump1 -> int1: the h is saxicolous or it reclines Tachypleus or both.; int1 & sent1 & sent7 -> int2: the toucher is a euglena.; int2 & sent5 -> int3: the fact that the toucher is both not a hollygrape and biquadratic is wrong.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the h is a carnation.; int5 & sent8 -> int6: the h is ampullar.; __UNKNOWN__