there exists something such that if it is not postictal it tosses angiography.
sent1: the catmint tosses angiography if it is postictal. sent2: that if the catmint does not hone troll then the catmint hones carry-over is not false. sent3: the catmint is an astrakhan if it does not toss angiography. sent4: if the stachyose is not a T-square it is a Manx. sent5: if something is not postictal it does toss angiography. sent6: there exists something such that if it is postictal it tosses angiography. sent7: the catmint does toss angiography if it is not mediatory. sent8: the catmint is thallophytic if it does not toss angiography. sent9: if something does not wrangle it does outgrow flannelette. sent10: something that does not toss stemmer is a Thessalian. sent11: if the catmint is not a documentation then it is antagonistic. sent12: something is Samoan if it is not a Gracilariidae. sent13: something is a yolk if it is not a NPA. sent14: something is Rembrandtesque if it is a centennial. sent15: if something is postictal it does toss angiography. sent16: there is something such that if it does not toss how-do-you-do it is a kind of a diarchy. sent17: there exists something such that if it is not a kind of a Gracilariidae then it is unpaintable. sent18: there is something such that if it is a dichlorodiphenyltrichloroethane the fact that it is not a Lutjanus is incorrect.
sent5 -> int1: if the catmint is not postictal it tosses angiography.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not postictal it tosses angiography. ; $context$ = sent1: the catmint tosses angiography if it is postictal. sent2: that if the catmint does not hone troll then the catmint hones carry-over is not false. sent3: the catmint is an astrakhan if it does not toss angiography. sent4: if the stachyose is not a T-square it is a Manx. sent5: if something is not postictal it does toss angiography. sent6: there exists something such that if it is postictal it tosses angiography. sent7: the catmint does toss angiography if it is not mediatory. sent8: the catmint is thallophytic if it does not toss angiography. sent9: if something does not wrangle it does outgrow flannelette. sent10: something that does not toss stemmer is a Thessalian. sent11: if the catmint is not a documentation then it is antagonistic. sent12: something is Samoan if it is not a Gracilariidae. sent13: something is a yolk if it is not a NPA. sent14: something is Rembrandtesque if it is a centennial. sent15: if something is postictal it does toss angiography. sent16: there is something such that if it does not toss how-do-you-do it is a kind of a diarchy. sent17: there exists something such that if it is not a kind of a Gracilariidae then it is unpaintable. sent18: there is something such that if it is a dichlorodiphenyltrichloroethane the fact that it is not a Lutjanus is incorrect. ; $proof$ = 
sent5 -> int1: if the catmint is not postictal it tosses angiography.; int1 -> hypothesis; __PROVED__