the isthmus is a kind of a marginalization.
sent1: the shepherdess does not process funambulist and is not theoretical. sent2: the isthmus is unreactive and/or is a thymol if the shepherdess is not lossy. sent3: the isthmus is toll-free if it is unreactive. sent4: if the isthmus is non-aerophilatelic thing that is not a lisp it is not a parade. sent5: the fact that the Swede is a kind of lossy thing that does not process divorced does not hold if the witch-hunter is not clonic. sent6: if the yellowwood is a kind of a lisp that dissents yellowwood the sir is not a kind of a parade. sent7: the isthmus is not a kind of a parade if it is both aerophilatelic and not a lisp. sent8: a thymol is toll-free. sent9: the isthmus is a kind of a cardinalfish if it does not guarantee panic and is a thymol. sent10: the isthmus is not aerophilatelic and it is not a lisp. sent11: if something does not parade it does not dissent yellowwood. sent12: if that something is not lossy is true that it is unreactive and it is a kind of a thymol is not right. sent13: the isthmus does not parade if it is non-aerophilatelic and it lisps. sent14: if something does not dissent yellowwood and is toll-free then it is a marginalization. sent15: the witch-hunter is not clonic. sent16: if the fact that something is lossy but it does not process divorced is not true then it is not lossy. sent17: the shepherdess is not lossy. sent18: the yellowwood is not aerophilatelic if there is something such that that it is unreactive and is a thymol is not correct. sent19: if something is a lisp it is unreactive. sent20: that the isthmus is not a marginalization is not wrong if that the shepherdess is a marginalization and not toll-free is not correct. sent21: the Manhattan is not unreactive. sent22: if the sir is a parade and does not dissent yellowwood the shepherdess is not a kind of a parade.
sent11 -> int1: that the isthmus dissents yellowwood does not hold if it is not a parade.; sent4 & sent10 -> int2: that the isthmus is not a parade is right.; int1 & int2 -> int3: the isthmus does not dissent yellowwood.; sent2 & sent17 -> int4: the isthmus either is unreactive or is a kind of a thymol or both.; sent8 -> int5: if the fact that the isthmus is a kind of a thymol hold it is toll-free.; int4 & sent3 & int5 -> int6: the isthmus is toll-free.; int3 & int6 -> int7: the isthmus does not dissent yellowwood and is toll-free.; sent14 -> int8: the isthmus is a kind of a marginalization if it does not dissent yellowwood and is toll-free.; int7 & int8 -> hypothesis;
that the isthmus is not a marginalization is correct.
sent12 -> int9: the fact that the Swede is unreactive and it is a thymol is not true if it is not lossy.; sent16 -> int10: if that the Swede is lossy thing that does not process divorced is wrong it is not lossy.; sent5 & sent15 -> int11: that the Swede is lossy and does not process divorced is false.; int10 & int11 -> int12: the Swede is not lossy.; int9 & int12 -> int13: that the fact that the Swede is unreactive and it is a thymol is not right hold.; int13 -> int14: there exists something such that the fact that it is unreactive a thymol is not true.; int14 & sent18 -> int15: the yellowwood is not aerophilatelic.;
$hypothesis$ = the isthmus is a kind of a marginalization. ; $context$ = sent1: the shepherdess does not process funambulist and is not theoretical. sent2: the isthmus is unreactive and/or is a thymol if the shepherdess is not lossy. sent3: the isthmus is toll-free if it is unreactive. sent4: if the isthmus is non-aerophilatelic thing that is not a lisp it is not a parade. sent5: the fact that the Swede is a kind of lossy thing that does not process divorced does not hold if the witch-hunter is not clonic. sent6: if the yellowwood is a kind of a lisp that dissents yellowwood the sir is not a kind of a parade. sent7: the isthmus is not a kind of a parade if it is both aerophilatelic and not a lisp. sent8: a thymol is toll-free. sent9: the isthmus is a kind of a cardinalfish if it does not guarantee panic and is a thymol. sent10: the isthmus is not aerophilatelic and it is not a lisp. sent11: if something does not parade it does not dissent yellowwood. sent12: if that something is not lossy is true that it is unreactive and it is a kind of a thymol is not right. sent13: the isthmus does not parade if it is non-aerophilatelic and it lisps. sent14: if something does not dissent yellowwood and is toll-free then it is a marginalization. sent15: the witch-hunter is not clonic. sent16: if the fact that something is lossy but it does not process divorced is not true then it is not lossy. sent17: the shepherdess is not lossy. sent18: the yellowwood is not aerophilatelic if there is something such that that it is unreactive and is a thymol is not correct. sent19: if something is a lisp it is unreactive. sent20: that the isthmus is not a marginalization is not wrong if that the shepherdess is a marginalization and not toll-free is not correct. sent21: the Manhattan is not unreactive. sent22: if the sir is a parade and does not dissent yellowwood the shepherdess is not a kind of a parade. ; $proof$ = 
sent11 -> int1: that the isthmus dissents yellowwood does not hold if it is not a parade.; sent4 & sent10 -> int2: that the isthmus is not a parade is right.; int1 & int2 -> int3: the isthmus does not dissent yellowwood.; sent2 & sent17 -> int4: the isthmus either is unreactive or is a kind of a thymol or both.; sent8 -> int5: if the fact that the isthmus is a kind of a thymol hold it is toll-free.; int4 & sent3 & int5 -> int6: the isthmus is toll-free.; int3 & int6 -> int7: the isthmus does not dissent yellowwood and is toll-free.; sent14 -> int8: the isthmus is a kind of a marginalization if it does not dissent yellowwood and is toll-free.; int7 & int8 -> hypothesis; __PROVED__