the martingale is not Kantian.
sent1: if the martingale is not noncausative then that it is not a backlog and is a disinheritance is incorrect. sent2: there exists something such that it is low-rise but not a blackhead. sent3: if that something is both not a disinheritance and a backlog does not hold it is not an infernal. sent4: if the utensil does job redundancy and it does yield gripsack then the martingale is not Kantian. sent5: if there is something such that it is not a hairball and/or is fragrant the needle is fragrant. sent6: the fact that something is not a disinheritance but it backlogs is incorrect if it is noncausative. sent7: there is something such that it is not a blackhead. sent8: if something is fragrant then the shad is a cabbage and/or is a Jewbush. sent9: something that does job redundancy is Kantian. sent10: the martingale does yield gripsack if the fact that it is a kind of Kantian thing that does not yield gripsack does not hold. sent11: the martingale is an infernal. sent12: if the martingale does job redundancy and it does yield gripsack the utensil is not Kantian. sent13: if the utensil is infernal then it does yield gripsack. sent14: if there exists something such that it is low-rise and it is a blackhead the utensil jobs redundancy. sent15: either something is not a hairball or it is not non-fragrant or both. sent16: the martingale is not noncausative. sent17: if there exists something such that it yields gripsack then the utensil jobs redundancy or is not a blackhead or both. sent18: if the shad is a cabbage the utensil is noncausative. sent19: the utensil is infernal. sent20: the utensil does job redundancy if a low-rise thing is not a blackhead.
sent2 & sent20 -> int1: the utensil jobs redundancy.; sent13 & sent19 -> int2: that the utensil yields gripsack is not incorrect.; int1 & int2 -> int3: the utensil jobs redundancy and yields gripsack.; int3 & sent4 -> hypothesis;
the martingale is Kantian.
sent9 -> int4: the martingale is Kantian if it jobs redundancy.; sent3 -> int5: if that the utensil is not a disinheritance and is a backlog is incorrect it is not infernal.; sent6 -> int6: the fact that the fact that the utensil is not a disinheritance but it is the backlog does not hold if the utensil is noncausative is right.; sent15 & sent5 -> int7: the needle is fragrant.; int7 -> int8: there exists something such that it is fragrant.; int8 & sent8 -> int9: the shad is a cabbage and/or is a Jewbush.;
$hypothesis$ = the martingale is not Kantian. ; $context$ = sent1: if the martingale is not noncausative then that it is not a backlog and is a disinheritance is incorrect. sent2: there exists something such that it is low-rise but not a blackhead. sent3: if that something is both not a disinheritance and a backlog does not hold it is not an infernal. sent4: if the utensil does job redundancy and it does yield gripsack then the martingale is not Kantian. sent5: if there is something such that it is not a hairball and/or is fragrant the needle is fragrant. sent6: the fact that something is not a disinheritance but it backlogs is incorrect if it is noncausative. sent7: there is something such that it is not a blackhead. sent8: if something is fragrant then the shad is a cabbage and/or is a Jewbush. sent9: something that does job redundancy is Kantian. sent10: the martingale does yield gripsack if the fact that it is a kind of Kantian thing that does not yield gripsack does not hold. sent11: the martingale is an infernal. sent12: if the martingale does job redundancy and it does yield gripsack the utensil is not Kantian. sent13: if the utensil is infernal then it does yield gripsack. sent14: if there exists something such that it is low-rise and it is a blackhead the utensil jobs redundancy. sent15: either something is not a hairball or it is not non-fragrant or both. sent16: the martingale is not noncausative. sent17: if there exists something such that it yields gripsack then the utensil jobs redundancy or is not a blackhead or both. sent18: if the shad is a cabbage the utensil is noncausative. sent19: the utensil is infernal. sent20: the utensil does job redundancy if a low-rise thing is not a blackhead. ; $proof$ = 
sent2 & sent20 -> int1: the utensil jobs redundancy.; sent13 & sent19 -> int2: that the utensil yields gripsack is not incorrect.; int1 & int2 -> int3: the utensil jobs redundancy and yields gripsack.; int3 & sent4 -> hypothesis; __PROVED__