the swivel is rh-negative and it is an upper.
sent1: that that something is a Kashag but it is not a Babesiidae is not wrong is wrong if it protuberates. sent2: the brave is not a snowboarding if there is something such that it does not crook neighbor. sent3: the swivel does contradistinguish Peirce. sent4: the breeder is an upper. sent5: there exists something such that it does not protuberate. sent6: the swivel is an upper. sent7: everything is not a heroics. sent8: everything is not heroics and not a spinelessness. sent9: if the fact that the abstractionist does subscribe and is not toroidal is false then the fact that it does not crook neighbor is right. sent10: if something is not a pteridologist or it is not a Kashag or both then it is not a pteridologist. sent11: if something is not a pteridologist that it is rh-negative and is an upper is not true. sent12: the swivel is rh-negative if it is not a spinelessness. sent13: if the fact that the chambermaid is a kind of a Kashag that is not a Babesiidae does not hold then the swivel is not a Kashag. sent14: the horse-pistol is not veinal. sent15: the swivel is an imperative and it is Aeschylean. sent16: something does protuberate if that it does not protuberate and it does not cancel neologism is not right. sent17: the posturer is rh-negative. sent18: the swivel is not a kind of a heroics. sent19: the dick is rh-negative. sent20: if something is a kind of a Babesiidae it is not a kind of an upper and it is not a pteridologist. sent21: if the swivel is not a spinelessness then it is a kind of a snuffler. sent22: if something is not an upper then the swivel is a kind of an executive and is rh-negative. sent23: that the abstractionist subscribes but it is not toroidal is incorrect.
sent8 -> int1: the swivel is not heroics and not a spinelessness.; int1 -> int2: the swivel is not a spinelessness.; int2 & sent12 -> int3: the swivel is rh-negative.; int3 & sent6 -> hypothesis;
the swivel is an executive.
sent20 -> int4: the chambermaid is not a kind of an upper and it is not a pteridologist if it is a Babesiidae.;
$hypothesis$ = the swivel is rh-negative and it is an upper. ; $context$ = sent1: that that something is a Kashag but it is not a Babesiidae is not wrong is wrong if it protuberates. sent2: the brave is not a snowboarding if there is something such that it does not crook neighbor. sent3: the swivel does contradistinguish Peirce. sent4: the breeder is an upper. sent5: there exists something such that it does not protuberate. sent6: the swivel is an upper. sent7: everything is not a heroics. sent8: everything is not heroics and not a spinelessness. sent9: if the fact that the abstractionist does subscribe and is not toroidal is false then the fact that it does not crook neighbor is right. sent10: if something is not a pteridologist or it is not a Kashag or both then it is not a pteridologist. sent11: if something is not a pteridologist that it is rh-negative and is an upper is not true. sent12: the swivel is rh-negative if it is not a spinelessness. sent13: if the fact that the chambermaid is a kind of a Kashag that is not a Babesiidae does not hold then the swivel is not a Kashag. sent14: the horse-pistol is not veinal. sent15: the swivel is an imperative and it is Aeschylean. sent16: something does protuberate if that it does not protuberate and it does not cancel neologism is not right. sent17: the posturer is rh-negative. sent18: the swivel is not a kind of a heroics. sent19: the dick is rh-negative. sent20: if something is a kind of a Babesiidae it is not a kind of an upper and it is not a pteridologist. sent21: if the swivel is not a spinelessness then it is a kind of a snuffler. sent22: if something is not an upper then the swivel is a kind of an executive and is rh-negative. sent23: that the abstractionist subscribes but it is not toroidal is incorrect. ; $proof$ = 
sent8 -> int1: the swivel is not heroics and not a spinelessness.; int1 -> int2: the swivel is not a spinelessness.; int2 & sent12 -> int3: the swivel is rh-negative.; int3 & sent6 -> hypothesis; __PROVED__