the fact that there exists something such that if that it is not a ciliate and it is bloody is not right it does not insert does not hold.
sent1: the updraft does insert if the fact that it is a kind of non-ciliate thing that is bloody is false. sent2: if the fact that the updraft is both ciliate and bloody is not right then the fact that it is not an insert is correct. sent3: there is something such that if the fact that it is not bloody is correct it does not insert. sent4: if the updraft is not bloody it is not an insert. sent5: there exists something such that if it is a kind of a Tashkent that it does not debouch is not wrong. sent6: if the fact that something is a kind of a ciliate and it does bloody does not hold then it is not an insert. sent7: something is not a kind of an insert if it is not ciliate and does bloody. sent8: something is a kind of an insert if that it is not a kind of a ciliate and it bloodies is false. sent9: if something is not bloody then it does not insert. sent10: if the updraft is not a ciliate but it is bloody then it does not insert. sent11: if the updraft is feverish then it is not a kind of a plumb. sent12: if the cephaloglycin does not abstain and is politics it does not bloody. sent13: there exists something such that if the fact that it is a kind of a ciliate that bloodies is wrong it is not a kind of an insert. sent14: there exists something such that if it is non-ciliate thing that bloodies it is not an insert. sent15: there exists something such that if it is a generic then that it is not oleophobic hold. sent16: if that something does not kidnap gene but it does debouch does not hold it is not a samisen. sent17: there exists something such that if the fact that it is non-ciliate and bloodies is not correct it inserts. sent18: the Pernod is not Leonardesque if it is a history. sent19: something is not a kind of an insert if that it is not a ciliate and it is bloody is not correct.
sent19 -> int1: the updraft is not a kind of an insert if the fact that it is both non-ciliate and bloody is not true.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not a ciliate and it is bloody is not right it does not insert does not hold. ; $context$ = sent1: the updraft does insert if the fact that it is a kind of non-ciliate thing that is bloody is false. sent2: if the fact that the updraft is both ciliate and bloody is not right then the fact that it is not an insert is correct. sent3: there is something such that if the fact that it is not bloody is correct it does not insert. sent4: if the updraft is not bloody it is not an insert. sent5: there exists something such that if it is a kind of a Tashkent that it does not debouch is not wrong. sent6: if the fact that something is a kind of a ciliate and it does bloody does not hold then it is not an insert. sent7: something is not a kind of an insert if it is not ciliate and does bloody. sent8: something is a kind of an insert if that it is not a kind of a ciliate and it bloodies is false. sent9: if something is not bloody then it does not insert. sent10: if the updraft is not a ciliate but it is bloody then it does not insert. sent11: if the updraft is feverish then it is not a kind of a plumb. sent12: if the cephaloglycin does not abstain and is politics it does not bloody. sent13: there exists something such that if the fact that it is a kind of a ciliate that bloodies is wrong it is not a kind of an insert. sent14: there exists something such that if it is non-ciliate thing that bloodies it is not an insert. sent15: there exists something such that if it is a generic then that it is not oleophobic hold. sent16: if that something does not kidnap gene but it does debouch does not hold it is not a samisen. sent17: there exists something such that if the fact that it is non-ciliate and bloodies is not correct it inserts. sent18: the Pernod is not Leonardesque if it is a history. sent19: something is not a kind of an insert if that it is not a ciliate and it is bloody is not correct. ; $proof$ = 
sent19 -> int1: the updraft is not a kind of an insert if the fact that it is both non-ciliate and bloody is not true.; int1 -> hypothesis; __DISPROVED__