the canal is not masochistic and/or it is not a stumpknocker.
sent1: that something does reline otter and relines lute is not right if it is a wall. sent2: the canal is non-symmetrical if the emission is not a Leigh. sent3: that something is Unitarian and is not affine is false if that it is antonymous hold. sent4: something that is Unitarian is a possible. sent5: the emission is not a nationalization. sent6: if the emission is not a nationalization then it is a kind of antonymous thing that is symmetrical. sent7: if something is not a subtopia but a incommutability the lute is not a kind of a possible. sent8: if the canal is not symmetrical then the emission is both masochistic and not a nationalization. sent9: the fact that the emission is a kind of a nationalization and it is masochistic does not hold. sent10: that something is not masochistic and/or is not a kind of a stumpknocker is not true if it is not a incommutability. sent11: the emission is Unitarian thing that is not an affine if the lute is not a possible. sent12: if something is a kind of a possible that the retreat is a Leigh and is a subtopia is not right. sent13: if the canal is a Leigh the retreat is not a subtopia but it is a incommutability. sent14: something is a kind of a Leigh if that it is not masochistic and/or it is not a kind of a stumpknocker does not hold. sent15: if the emission is an affine the lute is a Unitarian. sent16: if the emission is a Unitarian the retreat is non-antonymous a incommutability. sent17: if the canal is a Leigh then the retreat is a incommutability. sent18: there are impossible things. sent19: something is not a nationalization but it is a kind of a stumpknocker. sent20: the canal is not a kind of a Unitarian.
sent14 -> int1: the canal is a kind of a Leigh if that it is not masochistic and/or it is not a stumpknocker does not hold.; void -> assump1: Let's assume that the fact that the canal is not masochistic and/or it is not a stumpknocker is incorrect.; int1 & assump1 -> int2: the canal is a Leigh.; int2 & sent13 -> int3: the retreat is not a subtopia but a incommutability.; int3 -> int4: there exists something such that it is not a kind of a subtopia and it is a kind of a incommutability.; int4 & sent7 -> int5: the lute is not possible.; int5 & sent11 -> int6: the emission is a Unitarian but it is not an affine.; sent3 -> int7: that the fact that the emission is a Unitarian but it is not an affine is not incorrect is not true if that it is antonymous is correct.; sent6 & sent5 -> int8: the emission is antonymous and symmetrical.; int8 -> int9: the emission is not non-antonymous.; int7 & int9 -> int10: that the emission is a Unitarian but it is not affine is incorrect.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
that the canal is not masochistic and/or it is not a stumpknocker is not right.
sent10 -> int12: if the canal is not a incommutability that it either is not masochistic or is not a stumpknocker or both does not hold.; sent4 -> int13: the lute is possible if it is a Unitarian.;
$hypothesis$ = the canal is not masochistic and/or it is not a stumpknocker. ; $context$ = sent1: that something does reline otter and relines lute is not right if it is a wall. sent2: the canal is non-symmetrical if the emission is not a Leigh. sent3: that something is Unitarian and is not affine is false if that it is antonymous hold. sent4: something that is Unitarian is a possible. sent5: the emission is not a nationalization. sent6: if the emission is not a nationalization then it is a kind of antonymous thing that is symmetrical. sent7: if something is not a subtopia but a incommutability the lute is not a kind of a possible. sent8: if the canal is not symmetrical then the emission is both masochistic and not a nationalization. sent9: the fact that the emission is a kind of a nationalization and it is masochistic does not hold. sent10: that something is not masochistic and/or is not a kind of a stumpknocker is not true if it is not a incommutability. sent11: the emission is Unitarian thing that is not an affine if the lute is not a possible. sent12: if something is a kind of a possible that the retreat is a Leigh and is a subtopia is not right. sent13: if the canal is a Leigh the retreat is not a subtopia but it is a incommutability. sent14: something is a kind of a Leigh if that it is not masochistic and/or it is not a kind of a stumpknocker does not hold. sent15: if the emission is an affine the lute is a Unitarian. sent16: if the emission is a Unitarian the retreat is non-antonymous a incommutability. sent17: if the canal is a Leigh then the retreat is a incommutability. sent18: there are impossible things. sent19: something is not a nationalization but it is a kind of a stumpknocker. sent20: the canal is not a kind of a Unitarian. ; $proof$ = 
sent14 -> int1: the canal is a kind of a Leigh if that it is not masochistic and/or it is not a stumpknocker does not hold.; void -> assump1: Let's assume that the fact that the canal is not masochistic and/or it is not a stumpknocker is incorrect.; int1 & assump1 -> int2: the canal is a Leigh.; int2 & sent13 -> int3: the retreat is not a subtopia but a incommutability.; int3 -> int4: there exists something such that it is not a kind of a subtopia and it is a kind of a incommutability.; int4 & sent7 -> int5: the lute is not possible.; int5 & sent11 -> int6: the emission is a Unitarian but it is not an affine.; sent3 -> int7: that the fact that the emission is a Unitarian but it is not an affine is not incorrect is not true if that it is antonymous is correct.; sent6 & sent5 -> int8: the emission is antonymous and symmetrical.; int8 -> int9: the emission is not non-antonymous.; int7 & int9 -> int10: that the emission is a Unitarian but it is not affine is incorrect.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__