that there exists something such that if it is a Tenthredinidae then it is not apian and/or it does not rival eremitism hold.
sent1: either something is not a kind of an account or it is not a kind of a Rous or both if it is jihadi. sent2: if something rivals accelerando then it is not a celebrity and/or does not redound. sent3: if the sulfapyridine is a Tenthredinidae then it is apian and/or it does not rival eremitism. sent4: there exists something such that if it is a Cain then it either does not determine or is not a premolar or both. sent5: there exists something such that if that it is consolable is not wrong it is not a phalsa and/or it does not commutate Gempylidae. sent6: if the sulfapyridine is a kind of a Tenthredinidae then it is not apian and/or it does rival eremitism. sent7: if the sulfapyridine is pressor then either it is not a possible or it does not fry or both. sent8: a poll is not pressor and/or does not commutate fryer. sent9: there is something such that if it commutates fussiness then it is not hypercatalectic and/or is not intelligent. sent10: there is something such that if it does rival jerky it showers or it is not a rhizoid or both. sent11: if the sulfapyridine is not non-apian it does not shoot bismuth and/or it does commutate fussiness. sent12: there is something such that if it is a Tenthredinidae either it is apian or it does not rival eremitism or both. sent13: there is something such that if it is a rhizoid it is not intradermal and/or it is not a viscera. sent14: there exists something such that if it corns then either it is not agonadal or it is non-osmotic or both. sent15: there exists something such that if it is a viscera it is not a coordinator and/or it does not shoot gesso. sent16: there exists something such that if it is a Tenthredinidae it is not apian or it does rival eremitism or both. sent17: if the sulfapyridine is a Tenthredinidae it is not apian and/or it does not rival eremitism.
sent17 -> hypothesis;
if the coax polls then either it is not pressor or it does not commutate fryer or both.
sent8 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a Tenthredinidae then it is not apian and/or it does not rival eremitism hold. ; $context$ = sent1: either something is not a kind of an account or it is not a kind of a Rous or both if it is jihadi. sent2: if something rivals accelerando then it is not a celebrity and/or does not redound. sent3: if the sulfapyridine is a Tenthredinidae then it is apian and/or it does not rival eremitism. sent4: there exists something such that if it is a Cain then it either does not determine or is not a premolar or both. sent5: there exists something such that if that it is consolable is not wrong it is not a phalsa and/or it does not commutate Gempylidae. sent6: if the sulfapyridine is a kind of a Tenthredinidae then it is not apian and/or it does rival eremitism. sent7: if the sulfapyridine is pressor then either it is not a possible or it does not fry or both. sent8: a poll is not pressor and/or does not commutate fryer. sent9: there is something such that if it commutates fussiness then it is not hypercatalectic and/or is not intelligent. sent10: there is something such that if it does rival jerky it showers or it is not a rhizoid or both. sent11: if the sulfapyridine is not non-apian it does not shoot bismuth and/or it does commutate fussiness. sent12: there is something such that if it is a Tenthredinidae either it is apian or it does not rival eremitism or both. sent13: there is something such that if it is a rhizoid it is not intradermal and/or it is not a viscera. sent14: there exists something such that if it corns then either it is not agonadal or it is non-osmotic or both. sent15: there exists something such that if it is a viscera it is not a coordinator and/or it does not shoot gesso. sent16: there exists something such that if it is a Tenthredinidae it is not apian or it does rival eremitism or both. sent17: if the sulfapyridine is a Tenthredinidae it is not apian and/or it does not rival eremitism. ; $proof$ = 
sent17 -> hypothesis; __PROVED__