that there exists something such that if it does harvest shipway it is not a kind of a pro is not correct.
sent1: there is something such that if it harvests shipway then it is pro. sent2: if something flakes Canidae then it is not a cupule. sent3: the xerophyte is not a exanthem if it is a dissenter. sent4: if something harvests shipway that it is a pro is correct. sent5: if the noticer is federal it is not pro. sent6: there exists something such that if it is a turnbuckle it is not a Heyerdahl. sent7: if something is a Primus it is not ankylotic. sent8: the noticer is pro if it harvests shipway. sent9: if something harvests shipway then that it is a kind of a pro does not hold. sent10: if the Burgundy does flake Laffer that it does not harvest shipway is right. sent11: if something does harvest xerophyte then it does not slag. sent12: the noticer does not harvest shipway if it is vernal. sent13: the nopal is not hydrocephalic if it is a exanthem. sent14: something is not traditional if it is a Malpighia. sent15: if something is a surge it is non-ankylotic. sent16: if something is a arteriography then it is not illicit. sent17: there exists something such that if it is shockable it does not overuse shipway.
sent9 -> int1: the noticer is not a pro if it harvests shipway.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it does harvest shipway it is not a kind of a pro is not correct. ; $context$ = sent1: there is something such that if it harvests shipway then it is pro. sent2: if something flakes Canidae then it is not a cupule. sent3: the xerophyte is not a exanthem if it is a dissenter. sent4: if something harvests shipway that it is a pro is correct. sent5: if the noticer is federal it is not pro. sent6: there exists something such that if it is a turnbuckle it is not a Heyerdahl. sent7: if something is a Primus it is not ankylotic. sent8: the noticer is pro if it harvests shipway. sent9: if something harvests shipway then that it is a kind of a pro does not hold. sent10: if the Burgundy does flake Laffer that it does not harvest shipway is right. sent11: if something does harvest xerophyte then it does not slag. sent12: the noticer does not harvest shipway if it is vernal. sent13: the nopal is not hydrocephalic if it is a exanthem. sent14: something is not traditional if it is a Malpighia. sent15: if something is a surge it is non-ankylotic. sent16: if something is a arteriography then it is not illicit. sent17: there exists something such that if it is shockable it does not overuse shipway. ; $proof$ = 
sent9 -> int1: the noticer is not a pro if it harvests shipway.; int1 -> hypothesis; __DISPROVED__