the notepaper does not consort sawwort and it is not a kind of a Swazi.
sent1: if that the Latinist is a perdurability but it does not travesty pigskin is wrong then the fraud is not a perdurability. sent2: the Latinist is not Orthodox. sent3: if that the dropout is a Lycia and is Swazi is incorrect that it does clank Tayassu is not true. sent4: if that something is both not non-continual and non-Swazi is false it is a non-Swazi. sent5: the notepaper is not a Swazi if the fact that the dropout does not consort sawwort is not false. sent6: the dropout is not continual. sent7: the fact that something is a kind of a perdurability that does not travesty pigskin is wrong if it is not Orthodox. sent8: the dropout does not consort sawwort and it is not continual. sent9: if there is something such that that it is not a Lycia and it is dysplastic is not correct the rung is not a South. sent10: there is nothing such that it is a Lycia that is a kind of a Swazi. sent11: that the dropout is continual but not a Swazi is false if the rung is not a South. sent12: the Python does not clank Tayassu if something either does not clank Tayassu or does not consort sawwort or both. sent13: if the fraud is not a kind of a perdurability then the highbrow does clank confidence and does consort Smitane. sent14: the notepaper is not a Swazi. sent15: that something is not a Lycia but it is dysplastic is not correct if it clanks confidence.
sent8 -> int1: the dropout does not consort sawwort.;
that the notepaper does not consort sawwort and it is not a kind of a Swazi does not hold.
sent4 -> int2: if that the dropout is continual but it is not a Swazi does not hold it is a Swazi.; sent15 -> int3: if the highbrow does clank confidence then the fact that it is not a kind of a Lycia and it is dysplastic does not hold.; sent7 -> int4: if the Latinist is not Orthodox then that it is a perdurability and it does not travesty pigskin does not hold.; int4 & sent2 -> int5: the fact that the Latinist is a perdurability that does not travesty pigskin is not correct.; sent1 & int5 -> int6: the fraud is not a perdurability.; sent13 & int6 -> int7: the highbrow clanks confidence and consorts Smitane.; int7 -> int8: the highbrow does clank confidence.; int3 & int8 -> int9: the fact that the highbrow is not a Lycia and is dysplastic is not right.; int9 -> int10: there exists something such that the fact that it is not a kind of a Lycia and it is dysplastic does not hold.; int10 & sent9 -> int11: that the rung is not a South is right.; sent11 & int11 -> int12: that the dropout is continual but it is not Swazi is not right.; int2 & int12 -> int13: the dropout is Swazi.; int13 -> int14: there is something such that it is a kind of a Swazi.;
$hypothesis$ = the notepaper does not consort sawwort and it is not a kind of a Swazi. ; $context$ = sent1: if that the Latinist is a perdurability but it does not travesty pigskin is wrong then the fraud is not a perdurability. sent2: the Latinist is not Orthodox. sent3: if that the dropout is a Lycia and is Swazi is incorrect that it does clank Tayassu is not true. sent4: if that something is both not non-continual and non-Swazi is false it is a non-Swazi. sent5: the notepaper is not a Swazi if the fact that the dropout does not consort sawwort is not false. sent6: the dropout is not continual. sent7: the fact that something is a kind of a perdurability that does not travesty pigskin is wrong if it is not Orthodox. sent8: the dropout does not consort sawwort and it is not continual. sent9: if there is something such that that it is not a Lycia and it is dysplastic is not correct the rung is not a South. sent10: there is nothing such that it is a Lycia that is a kind of a Swazi. sent11: that the dropout is continual but not a Swazi is false if the rung is not a South. sent12: the Python does not clank Tayassu if something either does not clank Tayassu or does not consort sawwort or both. sent13: if the fraud is not a kind of a perdurability then the highbrow does clank confidence and does consort Smitane. sent14: the notepaper is not a Swazi. sent15: that something is not a Lycia but it is dysplastic is not correct if it clanks confidence. ; $proof$ = 
sent8 -> int1: the dropout does not consort sawwort.; __UNKNOWN__