the platypus is not publishable and does job raised.
sent1: something disembowels snowblindness if it is a kind of an annoyance. sent2: if either the baritone is not sexagesimal or it yields platypus or both then it is not inefficient. sent3: if that either something is not a spotlight or it does disembowel pot or both does not hold then it does disembowel disparity. sent4: something is not sexagesimal or yields platypus or both if it yields positive. sent5: the Poivrade is publishable. sent6: something is archesporial if it disembowels disparity. sent7: if something is publishable and it is a probabilism it is not archesporial. sent8: the Poivrade is a probabilism if the baseball is archesporial. sent9: the platypus is a probabilism if the Poivrade does not job raised. sent10: if something is efficient then it is an annoyance that is an appendix. sent11: The disparity does not disembowel Poivrade. sent12: The raised jobs platypus. sent13: the platypus jobs raised. sent14: the Poivrade is archesporial. sent15: that the baseball does not disembowel pot is not wrong if the love-in-a-mist does not spotlight. sent16: the Poivrade does job raised. sent17: the Poivrade disembowels disparity if the platypus is not archesporial. sent18: that the baritone does yield positive is right. sent19: if the baseball does not disembowel pot the Poivrade does not disembowel disparity but it is archesporial. sent20: that something is not publishable but it jobs raised is not right if it is not a kind of a probabilism. sent21: the Poivrade does not disembowel disparity.
void -> assump1: Let's assume that the platypus is publishable.; sent7 -> int1: the platypus is not archesporial if it is publishable thing that is a probabilism.;
that the platypus is non-publishable thing that jobs raised is not true.
sent20 -> int2: if the platypus is not a kind of a probabilism that that it is unpublishable thing that jobs raised is not wrong is false.; sent1 -> int3: if the baritone is a kind of an annoyance then it does disembowel snowblindness.; sent10 -> int4: the baritone is an annoyance and it is an appendix if it is not inefficient.; sent4 -> int5: either the baritone is not sexagesimal or it yields platypus or both if it does yield positive.; int5 & sent18 -> int6: the baritone is not sexagesimal or does yield platypus or both.; sent2 & int6 -> int7: the baritone is not inefficient.; int4 & int7 -> int8: the baritone is an annoyance and it is an appendix.; int8 -> int9: the fact that the baritone is an annoyance is not false.; int3 & int9 -> int10: the baritone disembowels snowblindness.; int10 -> int11: there is something such that it does disembowel snowblindness.;
$hypothesis$ = the platypus is not publishable and does job raised. ; $context$ = sent1: something disembowels snowblindness if it is a kind of an annoyance. sent2: if either the baritone is not sexagesimal or it yields platypus or both then it is not inefficient. sent3: if that either something is not a spotlight or it does disembowel pot or both does not hold then it does disembowel disparity. sent4: something is not sexagesimal or yields platypus or both if it yields positive. sent5: the Poivrade is publishable. sent6: something is archesporial if it disembowels disparity. sent7: if something is publishable and it is a probabilism it is not archesporial. sent8: the Poivrade is a probabilism if the baseball is archesporial. sent9: the platypus is a probabilism if the Poivrade does not job raised. sent10: if something is efficient then it is an annoyance that is an appendix. sent11: The disparity does not disembowel Poivrade. sent12: The raised jobs platypus. sent13: the platypus jobs raised. sent14: the Poivrade is archesporial. sent15: that the baseball does not disembowel pot is not wrong if the love-in-a-mist does not spotlight. sent16: the Poivrade does job raised. sent17: the Poivrade disembowels disparity if the platypus is not archesporial. sent18: that the baritone does yield positive is right. sent19: if the baseball does not disembowel pot the Poivrade does not disembowel disparity but it is archesporial. sent20: that something is not publishable but it jobs raised is not right if it is not a kind of a probabilism. sent21: the Poivrade does not disembowel disparity. ; $proof$ = 
void -> assump1: Let's assume that the platypus is publishable.; sent7 -> int1: the platypus is not archesporial if it is publishable thing that is a probabilism.; __UNKNOWN__