the element is not a trump and it is not a Lir.
sent1: something does not trump if it does seam prognathism. sent2: that the element is not a trump and is not a Lir does not hold if the fact that the Nut does not seam prognathism is not wrong. sent3: if the raiser is a Berg then that the Nut seams prognathism but it does not seam palanquin does not hold. sent4: something is a kind of a cryptocoryne but it does not bargain patricide. sent5: something is not a kind of a Lir if that it is a kind of a Lir and seams palanquin does not hold. sent6: that the element is a kind of a Lir and it does seam palanquin does not hold. sent7: the gendarme is not a kind of a flibbertigibbet if it is not an anorexic. sent8: there is something such that that it is a kind of a cryptocoryne and it bargains patricide is false. sent9: the hydromancer is not allotropic and it does not bargain Nut. sent10: the element seams prognathism if there exists something such that the fact that it is a cryptocoryne and does not bargain patricide is wrong. sent11: there is something such that that that it is a cryptocoryne and it does not bargain patricide hold is not correct. sent12: if that the sheik does not caricature Kirchner and is not a MFA does not hold the raiser is a Berg. sent13: the gendarme is not an anorexic. sent14: if something is a Berg then it does seam palanquin and is not a kind of a Lir. sent15: the Nut is a kind of a Berg. sent16: if the gendarme is not aeromechanics then the gambler is a MFA. sent17: if there exists something such that it does bargain patricide the element seams prognathism. sent18: the fact that the element does not gripe Gibraltarian is not incorrect if that it gripe Gibraltarian and is a parenthood is not right. sent19: the element is not photic. sent20: something is both not aeromechanics and aphoristic if it is not a flibbertigibbet.
sent11 & sent10 -> int1: the element seams prognathism.; sent1 -> int2: if the element seams prognathism then it is not a trump.; int1 & int2 -> int3: the element is not a trump.; sent5 -> int4: the element is not a kind of a Lir if the fact that it is a kind of a Lir and seams palanquin does not hold.; int4 & sent6 -> int5: the element is not a Lir.; int3 & int5 -> hypothesis;
that the element is not a trump and is not a kind of a Lir is false.
sent20 -> int6: if the gendarme is not a kind of a flibbertigibbet it is both not aeromechanics and aphoristic.; sent7 & sent13 -> int7: the gendarme is not a flibbertigibbet.; int6 & int7 -> int8: the gendarme is not aeromechanics and is aphoristic.; int8 -> int9: that the gendarme is not aeromechanics is right.; sent16 & int9 -> int10: the gambler is a MFA.; int10 -> int11: there exists something such that it is a MFA.;
$hypothesis$ = the element is not a trump and it is not a Lir. ; $context$ = sent1: something does not trump if it does seam prognathism. sent2: that the element is not a trump and is not a Lir does not hold if the fact that the Nut does not seam prognathism is not wrong. sent3: if the raiser is a Berg then that the Nut seams prognathism but it does not seam palanquin does not hold. sent4: something is a kind of a cryptocoryne but it does not bargain patricide. sent5: something is not a kind of a Lir if that it is a kind of a Lir and seams palanquin does not hold. sent6: that the element is a kind of a Lir and it does seam palanquin does not hold. sent7: the gendarme is not a kind of a flibbertigibbet if it is not an anorexic. sent8: there is something such that that it is a kind of a cryptocoryne and it bargains patricide is false. sent9: the hydromancer is not allotropic and it does not bargain Nut. sent10: the element seams prognathism if there exists something such that the fact that it is a cryptocoryne and does not bargain patricide is wrong. sent11: there is something such that that that it is a cryptocoryne and it does not bargain patricide hold is not correct. sent12: if that the sheik does not caricature Kirchner and is not a MFA does not hold the raiser is a Berg. sent13: the gendarme is not an anorexic. sent14: if something is a Berg then it does seam palanquin and is not a kind of a Lir. sent15: the Nut is a kind of a Berg. sent16: if the gendarme is not aeromechanics then the gambler is a MFA. sent17: if there exists something such that it does bargain patricide the element seams prognathism. sent18: the fact that the element does not gripe Gibraltarian is not incorrect if that it gripe Gibraltarian and is a parenthood is not right. sent19: the element is not photic. sent20: something is both not aeromechanics and aphoristic if it is not a flibbertigibbet. ; $proof$ = 
sent11 & sent10 -> int1: the element seams prognathism.; sent1 -> int2: if the element seams prognathism then it is not a trump.; int1 & int2 -> int3: the element is not a trump.; sent5 -> int4: the element is not a kind of a Lir if the fact that it is a kind of a Lir and seams palanquin does not hold.; int4 & sent6 -> int5: the element is not a Lir.; int3 & int5 -> hypothesis; __PROVED__