the knocker is a puller and hydrometric.
sent1: the octogenarian guarantees transsexual. sent2: the knocker is a brawl that is a Monopoly if it is not a Alaskan. sent3: if the knocker is not a kind of a Alaskan it does brawl. sent4: the fact that something is both a puller and hydrometric is incorrect if it is not sustentacular. sent5: the transsexual does grudge if something that guarantees apothecium is a kind of a nib. sent6: something does guarantee apothecium. sent7: the knocker is not a Alaskan. sent8: if the octogenarian is not unseamanlike and not impotent then the transsexual does not grudge. sent9: something guarantees apothecium and is a nib. sent10: the junk does not guarantee apothecium. sent11: that something is unseamanlike and it does grudge does not hold if it is not a Monopoly. sent12: if something that guarantees transsexual is not a Federalist then the octogenarian is not sustentacular. sent13: the knocker is run-on if that the macebearer does guarantee transsexual but it is not a Federalist is false. sent14: if the macebearer does not guarantee transsexual the knocker is run-on. sent15: the octogenarian is a Alaskan and it is sustentacular if it is not run-on. sent16: if there is something such that that it is a kind of unseamanlike a grudging does not hold the knocker is not unseamanlike. sent17: a run-on thing is hydrometric. sent18: that the macebearer is a puller is correct. sent19: the fact that the octogenarian is not unseamanlike but potent is not false if it is not sustentacular. sent20: the macebearer is not a Alaskan. sent21: the octogenarian is not impotent if it is not sustentacular. sent22: there exists something such that it is a nib. sent23: the fact that the macebearer does guarantee transsexual hold. sent24: if a non-unseamanlike thing is potent then it is not sustentacular. sent25: there is something such that it is a kind of a brawl.
void -> assump1: Let's assume that the macebearer does guarantee transsexual but it is not a Federalist.; assump1 -> int1: there exists something such that it does guarantee transsexual and is not a Federalist.; int1 & sent12 -> int2: the fact that the octogenarian is not sustentacular hold.; int2 & sent19 -> int3: the octogenarian is seamanlike and it is not impotent.; int3 & sent8 -> int4: the transsexual does not grudge.; sent9 & sent5 -> int5: the transsexual grudges.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the macebearer guarantees transsexual and is not a Federalist is correct is false.; int7 & sent13 -> int8: the knocker is run-on.; sent17 -> int9: if the knocker is run-on then it is not non-hydrometric.; int8 & int9 -> int10: the knocker is hydrometric.; sent2 & sent7 -> int11: the knocker does brawl and is a Monopoly.; int11 -> int12: the knocker is a Monopoly.;
that that the knocker is a puller and it is hydrometric hold is not right.
sent4 -> int13: if that the knocker is not sustentacular is not false then that it is a kind of a puller that is hydrometric is not true.; sent24 -> int14: if the knocker is not unseamanlike and it is not impotent then it is not sustentacular.; sent11 -> int15: if the transsexual is not a Monopoly the fact that it is both unseamanlike and a grudging is not true.;
$hypothesis$ = the knocker is a puller and hydrometric. ; $context$ = sent1: the octogenarian guarantees transsexual. sent2: the knocker is a brawl that is a Monopoly if it is not a Alaskan. sent3: if the knocker is not a kind of a Alaskan it does brawl. sent4: the fact that something is both a puller and hydrometric is incorrect if it is not sustentacular. sent5: the transsexual does grudge if something that guarantees apothecium is a kind of a nib. sent6: something does guarantee apothecium. sent7: the knocker is not a Alaskan. sent8: if the octogenarian is not unseamanlike and not impotent then the transsexual does not grudge. sent9: something guarantees apothecium and is a nib. sent10: the junk does not guarantee apothecium. sent11: that something is unseamanlike and it does grudge does not hold if it is not a Monopoly. sent12: if something that guarantees transsexual is not a Federalist then the octogenarian is not sustentacular. sent13: the knocker is run-on if that the macebearer does guarantee transsexual but it is not a Federalist is false. sent14: if the macebearer does not guarantee transsexual the knocker is run-on. sent15: the octogenarian is a Alaskan and it is sustentacular if it is not run-on. sent16: if there is something such that that it is a kind of unseamanlike a grudging does not hold the knocker is not unseamanlike. sent17: a run-on thing is hydrometric. sent18: that the macebearer is a puller is correct. sent19: the fact that the octogenarian is not unseamanlike but potent is not false if it is not sustentacular. sent20: the macebearer is not a Alaskan. sent21: the octogenarian is not impotent if it is not sustentacular. sent22: there exists something such that it is a nib. sent23: the fact that the macebearer does guarantee transsexual hold. sent24: if a non-unseamanlike thing is potent then it is not sustentacular. sent25: there is something such that it is a kind of a brawl. ; $proof$ = 
void -> assump1: Let's assume that the macebearer does guarantee transsexual but it is not a Federalist.; assump1 -> int1: there exists something such that it does guarantee transsexual and is not a Federalist.; int1 & sent12 -> int2: the fact that the octogenarian is not sustentacular hold.; int2 & sent19 -> int3: the octogenarian is seamanlike and it is not impotent.; int3 & sent8 -> int4: the transsexual does not grudge.; sent9 & sent5 -> int5: the transsexual grudges.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the macebearer guarantees transsexual and is not a Federalist is correct is false.; int7 & sent13 -> int8: the knocker is run-on.; sent17 -> int9: if the knocker is run-on then it is not non-hydrometric.; int8 & int9 -> int10: the knocker is hydrometric.; sent2 & sent7 -> int11: the knocker does brawl and is a Monopoly.; int11 -> int12: the knocker is a Monopoly.; __UNKNOWN__