the fact that there is something such that if it is not a yardarm and does not prime horsehide it is not a cold is wrong.
sent1: the department is not a kind of a ticktock if the fact that it is a kind of non-meretricious thing that is not a hide is true. sent2: the alphavirus is not a Bankia if it primes horsehide and is not a kind of a purification. sent3: if the alphavirus does prime Seder and is not basidiomycetous then it is not a yardarm. sent4: there exists something such that if it does gate martingale and does not achromatize prickliness it is not a kind of a wand. sent5: there exists something such that if it is not sublingual but a wand then it does not achromatize stepladder. sent6: the alphavirus is not extricable if it is both not a purification and cold. sent7: if the alphavirus is not a yardarm and does not prime horsehide it is not a kind of a cold. sent8: if that the alphavirus is not Gaussian and does not prime horsehide is not wrong then it is not a antiphonary. sent9: if something does not enlist and it is not balletic it is not a kind of a cold. sent10: if the lymph does not achromatize calamint but it is peaty it is non-cold. sent11: there exists something such that if it is not a kind of a mooneye and it does not achromatize delicacy then it does not prime conformist. sent12: there exists something such that if it does achromatize monotone and is not a glucose then it does not achromatize handling. sent13: if the alphavirus does not prime horsehide and is not a packer it is inflexible. sent14: the fact that the fact that the alphavirus is the abscessed hold if the alphavirus is not effective and it is not a kind of a cold is correct. sent15: the martingale is not a kind of a Polyprion if it is both exocrine and not econometrics. sent16: that the topsail is not sublingual is not incorrect if it is effective but not a yardarm. sent17: the mebendazole is not opposable if it is a yardarm and it is not gonadal. sent18: if the alphavirus is not a kind of a cold and it is not motivational then it is not Luxemburger.
sent7 -> hypothesis;
the fact that the alphavirus is not cold if the alphavirus does not enlist and it is not balletic is not wrong.
sent9 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a yardarm and does not prime horsehide it is not a cold is wrong. ; $context$ = sent1: the department is not a kind of a ticktock if the fact that it is a kind of non-meretricious thing that is not a hide is true. sent2: the alphavirus is not a Bankia if it primes horsehide and is not a kind of a purification. sent3: if the alphavirus does prime Seder and is not basidiomycetous then it is not a yardarm. sent4: there exists something such that if it does gate martingale and does not achromatize prickliness it is not a kind of a wand. sent5: there exists something such that if it is not sublingual but a wand then it does not achromatize stepladder. sent6: the alphavirus is not extricable if it is both not a purification and cold. sent7: if the alphavirus is not a yardarm and does not prime horsehide it is not a kind of a cold. sent8: if that the alphavirus is not Gaussian and does not prime horsehide is not wrong then it is not a antiphonary. sent9: if something does not enlist and it is not balletic it is not a kind of a cold. sent10: if the lymph does not achromatize calamint but it is peaty it is non-cold. sent11: there exists something such that if it is not a kind of a mooneye and it does not achromatize delicacy then it does not prime conformist. sent12: there exists something such that if it does achromatize monotone and is not a glucose then it does not achromatize handling. sent13: if the alphavirus does not prime horsehide and is not a packer it is inflexible. sent14: the fact that the fact that the alphavirus is the abscessed hold if the alphavirus is not effective and it is not a kind of a cold is correct. sent15: the martingale is not a kind of a Polyprion if it is both exocrine and not econometrics. sent16: that the topsail is not sublingual is not incorrect if it is effective but not a yardarm. sent17: the mebendazole is not opposable if it is a yardarm and it is not gonadal. sent18: if the alphavirus is not a kind of a cold and it is not motivational then it is not Luxemburger. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__