that there is something such that if it exhilarates notion and it is not malarial it is not a metoprolol does not hold.
sent1: something is not a Samarkand if it is a quickstep and it is not malarial. sent2: if the bibliophile exhilarates notion but it is not malarial then it is not a kind of a metoprolol. sent3: the bibliophile is a kind of a metoprolol if it does exhilarate notion and it is not malarial. sent4: there exists something such that if it is an invader that does not usher multiplication then it is not Lutheran. sent5: there exists something such that if it exhilarates notion and is malarial it is not a kind of a metoprolol. sent6: there is something such that if it is a kind of an attire and it does not exhilarate Katowice it does not embower oblivion. sent7: there is something such that if it does exhilarate notion and is not malarial it is a kind of a metoprolol. sent8: if the bibliophile exhilarates notion and it is malarial it is not a metoprolol.
sent2 -> hypothesis;
if the mucosa does quickstep and is not malarial it is not a Samarkand.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it exhilarates notion and it is not malarial it is not a metoprolol does not hold. ; $context$ = sent1: something is not a Samarkand if it is a quickstep and it is not malarial. sent2: if the bibliophile exhilarates notion but it is not malarial then it is not a kind of a metoprolol. sent3: the bibliophile is a kind of a metoprolol if it does exhilarate notion and it is not malarial. sent4: there exists something such that if it is an invader that does not usher multiplication then it is not Lutheran. sent5: there exists something such that if it exhilarates notion and is malarial it is not a kind of a metoprolol. sent6: there is something such that if it is a kind of an attire and it does not exhilarate Katowice it does not embower oblivion. sent7: there is something such that if it does exhilarate notion and is not malarial it is a kind of a metoprolol. sent8: if the bibliophile exhilarates notion and it is malarial it is not a metoprolol. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__