that the galangal is not a postdoc hold.
sent1: that the purloo is a Vespidae and it does field severance is not right. sent2: if that the fact that the purloo is not a Vespidae and fields severance is false is correct the galangal is not a kind of a postdoc. sent3: if something is a yellowfin that it does not field severance and it is pyloric is incorrect. sent4: if something overflows then that the inoculant is a glen and on-site is false. sent5: the vomiter is a kind of a yellowfin and it is a kind of a Vespidae if that the testatrix is non-on-site is not wrong. sent6: there is something such that it is on-site. sent7: if the purloo is not a postdoc the galangal is a kind of a postdoc. sent8: if the straightaway is not a kind of a yellowfin the fact that the purloo is a Vespidae and fields severance is false. sent9: that the straightaway is not pyloric hold if there exists something such that that it is on-site is incorrect. sent10: there is something such that it is not on-site. sent11: if the purloo is a Vespidae then the galangal is not a postdoc. sent12: the Roundhead does not bar behalf but it does overflow. sent13: if something is not pyloric then that it is not a kind of a yellowfin is true. sent14: that if that the vomiter does not field severance and is pyloric is incorrect the fact that the purloo is not a postdoc is not false is not incorrect.
sent13 -> int1: the straightaway is not a yellowfin if that it is not pyloric is not wrong.; sent10 & sent9 -> int2: that the straightaway is not pyloric hold.; int1 & int2 -> int3: the straightaway is not a yellowfin.;
the galangal is a postdoc.
sent3 -> int4: the fact that the vomiter does not field severance and is pyloric is not true if it is a yellowfin.; sent12 -> int5: the Roundhead overflows.; int5 -> int6: there is something such that it does overflow.; int6 & sent4 -> int7: that the inoculant is a kind of a glen that is on-site is wrong.; int7 -> int8: there is something such that that it is a glen and on-site is false.;
$hypothesis$ = that the galangal is not a postdoc hold. ; $context$ = sent1: that the purloo is a Vespidae and it does field severance is not right. sent2: if that the fact that the purloo is not a Vespidae and fields severance is false is correct the galangal is not a kind of a postdoc. sent3: if something is a yellowfin that it does not field severance and it is pyloric is incorrect. sent4: if something overflows then that the inoculant is a glen and on-site is false. sent5: the vomiter is a kind of a yellowfin and it is a kind of a Vespidae if that the testatrix is non-on-site is not wrong. sent6: there is something such that it is on-site. sent7: if the purloo is not a postdoc the galangal is a kind of a postdoc. sent8: if the straightaway is not a kind of a yellowfin the fact that the purloo is a Vespidae and fields severance is false. sent9: that the straightaway is not pyloric hold if there exists something such that that it is on-site is incorrect. sent10: there is something such that it is not on-site. sent11: if the purloo is a Vespidae then the galangal is not a postdoc. sent12: the Roundhead does not bar behalf but it does overflow. sent13: if something is not pyloric then that it is not a kind of a yellowfin is true. sent14: that if that the vomiter does not field severance and is pyloric is incorrect the fact that the purloo is not a postdoc is not false is not incorrect. ; $proof$ = 
sent13 -> int1: the straightaway is not a yellowfin if that it is not pyloric is not wrong.; sent10 & sent9 -> int2: that the straightaway is not pyloric hold.; int1 & int2 -> int3: the straightaway is not a yellowfin.; __UNKNOWN__