the fact that there is something such that if it is not a Slovenian then it is a kind of a Nahum and is not bigger does not hold.
sent1: there is something such that if it is not Slovenian then it is a kind of a Nahum and it is bigger. sent2: there is something such that if it is not a Slovenian it is not bigger. sent3: if something does not startle indemnification it does update snatcher and it is not a Tswana. sent4: the belching is not bigger if it is non-Slovenian. sent5: there is something such that if it is not a kind of a nine-spot then it is a kind of a matrilineage and is not a kind of a handoff. sent6: if the belching is not noncausative then that it is pyrotechnic and it is not a Nahum hold. sent7: if the belching is not a Slovenian then it is a Nahum and it is not bigger. sent8: the fact that there exists something such that if it is not belemnitic it does dropkick ileum and is not a Carbondale is true. sent9: there is something such that if it is a Slovenian then it is a Nahum that is not bigger. sent10: if something is not a kind of a swish then it updates iodothyronine and it is not a flashpoint. sent11: there exists something such that if it is not Slovenian then it is a Nahum. sent12: there is something such that if it is not a pedantry then it is univalent and it is not a sandwichman. sent13: the belching is a Nahum but it is non-bigger if it is Slovenian.
sent7 -> hypothesis;
there exists something such that if it is not a swish it does update iodothyronine and is not a flashpoint.
sent10 -> int1: the cryogen updates iodothyronine but it is not a flashpoint if it is not a kind of a swish.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a Slovenian then it is a kind of a Nahum and is not bigger does not hold. ; $context$ = sent1: there is something such that if it is not Slovenian then it is a kind of a Nahum and it is bigger. sent2: there is something such that if it is not a Slovenian it is not bigger. sent3: if something does not startle indemnification it does update snatcher and it is not a Tswana. sent4: the belching is not bigger if it is non-Slovenian. sent5: there is something such that if it is not a kind of a nine-spot then it is a kind of a matrilineage and is not a kind of a handoff. sent6: if the belching is not noncausative then that it is pyrotechnic and it is not a Nahum hold. sent7: if the belching is not a Slovenian then it is a Nahum and it is not bigger. sent8: the fact that there exists something such that if it is not belemnitic it does dropkick ileum and is not a Carbondale is true. sent9: there is something such that if it is a Slovenian then it is a Nahum that is not bigger. sent10: if something is not a kind of a swish then it updates iodothyronine and it is not a flashpoint. sent11: there exists something such that if it is not Slovenian then it is a Nahum. sent12: there is something such that if it is not a pedantry then it is univalent and it is not a sandwichman. sent13: the belching is a Nahum but it is non-bigger if it is Slovenian. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__