the cemetery is not exhaustible.
sent1: the methapyrilene is exhaustible. sent2: if the youth does not skitter and is aversive then the waddler skitter. sent3: the cemetery gains. sent4: the cemetery is not exhaustible if the cuscus is not a zing and it is not a Libyan. sent5: if something is associational but it is not a debarkation then it is not canalicular. sent6: that the trichion is a uninsurability and it is a snowball does not hold. sent7: the youth is associational if it is porphyritic. sent8: that the Anabaptist is exhaustible is true. sent9: the lanolin is exhaustible if the cemetery is Libyan. sent10: the cemetery is exhaustible. sent11: something does not skitter and is aversive if it is non-canalicular. sent12: there is something such that it is not a kind of a tenure. sent13: if there exists something such that it is not a kind of a tenure then the youth is a kind of a primary and it is porphyritic. sent14: the cuscus is not a zing and is not Libyan if the waterproofing does strike deadness. sent15: that the youth is not a debarkation if that the trichion is both a uninsurability and a snowball does not hold is not wrong.
sent10 -> hypothesis;
the fact that the cemetery is not exhaustible is not false.
sent11 -> int1: if the youth is not canalicular then it does not skitter and is aversive.; sent5 -> int2: if the youth is associational but it is not a debarkation it is not canalicular.; sent12 & sent13 -> int3: the youth is a primary that is porphyritic.; int3 -> int4: the youth is porphyritic.; sent7 & int4 -> int5: the youth is associational.; sent15 & sent6 -> int6: the youth is not a debarkation.; int5 & int6 -> int7: the youth is associational but it is not a debarkation.; int2 & int7 -> int8: the youth is not canalicular.; int1 & int8 -> int9: the youth does not skitter and is aversive.; sent2 & int9 -> int10: the waddler skitters.; int10 -> int11: something skitters.;
$hypothesis$ = the cemetery is not exhaustible. ; $context$ = sent1: the methapyrilene is exhaustible. sent2: if the youth does not skitter and is aversive then the waddler skitter. sent3: the cemetery gains. sent4: the cemetery is not exhaustible if the cuscus is not a zing and it is not a Libyan. sent5: if something is associational but it is not a debarkation then it is not canalicular. sent6: that the trichion is a uninsurability and it is a snowball does not hold. sent7: the youth is associational if it is porphyritic. sent8: that the Anabaptist is exhaustible is true. sent9: the lanolin is exhaustible if the cemetery is Libyan. sent10: the cemetery is exhaustible. sent11: something does not skitter and is aversive if it is non-canalicular. sent12: there is something such that it is not a kind of a tenure. sent13: if there exists something such that it is not a kind of a tenure then the youth is a kind of a primary and it is porphyritic. sent14: the cuscus is not a zing and is not Libyan if the waterproofing does strike deadness. sent15: that the youth is not a debarkation if that the trichion is both a uninsurability and a snowball does not hold is not wrong. ; $proof$ = 
sent10 -> hypothesis; __DISPROVED__