that there is something such that if it is a spectinomycin it snowballs sword-cut and is not a regionalism is incorrect.
sent1: there is something such that if it is a kind of a pennyroyal then it is chiasmal. sent2: there exists something such that if it is a Brueghel it is a Siberian and it does not live. sent3: the wagoner is a laureled that does not reissue hemisphere if the fact that it does snowball sword-cut is right. sent4: if the man-on-a-horse is a kind of a spectinomycin it is not a regionalism. sent5: the man-on-a-horse does snowball sword-cut but it is not a regionalism if it is a spectinomycin. sent6: that the man-on-a-horse is a kind of a moat but it is not a kind of a Fermat is correct if it is a sporangiophore. sent7: something is an exit but it is not a kind of a catostomid if it is a standdown. sent8: that there exists something such that if it is a spectinomycin then it snowballs sword-cut and is a regionalism is not false. sent9: if something is a reverse then it does regenerate and is not a clubfoot. sent10: there is something such that if it is a Siberian it retaliates and is not a kind of a Wakashan. sent11: if the man-on-a-horse fusses it is a handset but not a regionalism. sent12: there is something such that if it is Senecan it is a hyperextension and it is not impermeable. sent13: the saran is a kind of a regionalism that is not inarticulate if it sends Roman. sent14: there exists something such that if it is a kind of a spectinomycin then it snowballs sword-cut. sent15: something is a kind of a one-hundredth but it does not reissue interdiction if it is daisylike. sent16: there is something such that if it is reverse then it snowballs tollgate and it is not healthful. sent17: there is something such that if it is a spectinomycin then it is not a regionalism. sent18: there is something such that if it is a Wakashan then it is a Brie that is not descriptive. sent19: if the medium is a spectinomycin it does languish and it does not reissue Glaux.
sent5 -> hypothesis;
there exists something such that if it is a standdown then it is an exit but not a catostomid.
sent7 -> int1: if the caustic is a standdown it is an exit but not a catostomid.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is a spectinomycin it snowballs sword-cut and is not a regionalism is incorrect. ; $context$ = sent1: there is something such that if it is a kind of a pennyroyal then it is chiasmal. sent2: there exists something such that if it is a Brueghel it is a Siberian and it does not live. sent3: the wagoner is a laureled that does not reissue hemisphere if the fact that it does snowball sword-cut is right. sent4: if the man-on-a-horse is a kind of a spectinomycin it is not a regionalism. sent5: the man-on-a-horse does snowball sword-cut but it is not a regionalism if it is a spectinomycin. sent6: that the man-on-a-horse is a kind of a moat but it is not a kind of a Fermat is correct if it is a sporangiophore. sent7: something is an exit but it is not a kind of a catostomid if it is a standdown. sent8: that there exists something such that if it is a spectinomycin then it snowballs sword-cut and is a regionalism is not false. sent9: if something is a reverse then it does regenerate and is not a clubfoot. sent10: there is something such that if it is a Siberian it retaliates and is not a kind of a Wakashan. sent11: if the man-on-a-horse fusses it is a handset but not a regionalism. sent12: there is something such that if it is Senecan it is a hyperextension and it is not impermeable. sent13: the saran is a kind of a regionalism that is not inarticulate if it sends Roman. sent14: there exists something such that if it is a kind of a spectinomycin then it snowballs sword-cut. sent15: something is a kind of a one-hundredth but it does not reissue interdiction if it is daisylike. sent16: there is something such that if it is reverse then it snowballs tollgate and it is not healthful. sent17: there is something such that if it is a spectinomycin then it is not a regionalism. sent18: there is something such that if it is a Wakashan then it is a Brie that is not descriptive. sent19: if the medium is a spectinomycin it does languish and it does not reissue Glaux. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__