the ripsaw is a retort and it staples twopence.
sent1: if the firebox is not a mugwump the ripsaw is a kind of a retort. sent2: there is something such that that it is not a reply is true. sent3: the registrant does not acquaint electronegativity. sent4: the fact that the stepson does not acquaint Kekule is right. sent5: if the registrant does not staple Dail and is not unilateral then the stepson does not bunk mortgaged. sent6: the ripsaw staples twopence if something that is agreeable is not a reply. sent7: that the firebox does not acquaint electronegativity is right if the stepson is not a mugwump and it does not acquaint Kekule. sent8: The fact that the Kekule does not acquaint stepson is right. sent9: the stepson is unilateral if the fact that it does not bunk mortgaged and it does not staple Dail is not right. sent10: if the stepson does not bunk mortgaged and it does not staple Dail the registrant does not staple good-king-henry. sent11: there exists something such that it is agreeable and it is not a reply. sent12: The electronegativity does not acquaint registrant. sent13: the Esquire staples Dail. sent14: there exists something such that it is agreeable. sent15: the registrant does not staple good-king-henry if the stepson bunks mortgaged but it does not staple Dail. sent16: the ladder acquaints electronegativity. sent17: the ripsaw does not dogmatize Kolam and does not advance. sent18: the registrant is not a kind of a mugwump. sent19: if the ripsaw is unilateral and does staple good-king-henry then it does not acquaint Kekule. sent20: the stepson acquaints Kekule if it is unilateral. sent21: the registrant does not bunk mortgaged. sent22: that something retorts and staples twopence is not correct if the fact that it does not acquaint Kekule is correct. sent23: there exists something such that it is agreeable and it is a reply. sent24: the stepson is unilateral if it bunks mortgaged. sent25: that the stepson does bunk mortgaged but it does not staple Dail does not hold. sent26: the stepson does not bunk mortgaged. sent27: if the stepson does not staple twopence then the ripsaw does bunk mortgaged.
void -> assump1: Let's assume that that the stepson does not bunk mortgaged and does not staple Dail is incorrect.; sent9 & assump1 -> int1: the stepson is unilateral.; int1 & sent20 -> int2: the stepson does acquaint Kekule.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stepson does not bunk mortgaged and it does not staple Dail.; int4 & sent10 -> int5: the fact that the registrant does not staple good-king-henry hold.; int5 & sent3 -> int6: the registrant does not acquaint electronegativity and does not staple good-king-henry.; sent11 & sent6 -> int7: the ripsaw does staple twopence.;
the fact that the ripsaw retorts and it staples twopence is incorrect.
sent22 -> int8: if the ripsaw does not acquaint Kekule then that it does retort and does staple twopence is false.;
$hypothesis$ = the ripsaw is a retort and it staples twopence. ; $context$ = sent1: if the firebox is not a mugwump the ripsaw is a kind of a retort. sent2: there is something such that that it is not a reply is true. sent3: the registrant does not acquaint electronegativity. sent4: the fact that the stepson does not acquaint Kekule is right. sent5: if the registrant does not staple Dail and is not unilateral then the stepson does not bunk mortgaged. sent6: the ripsaw staples twopence if something that is agreeable is not a reply. sent7: that the firebox does not acquaint electronegativity is right if the stepson is not a mugwump and it does not acquaint Kekule. sent8: The fact that the Kekule does not acquaint stepson is right. sent9: the stepson is unilateral if the fact that it does not bunk mortgaged and it does not staple Dail is not right. sent10: if the stepson does not bunk mortgaged and it does not staple Dail the registrant does not staple good-king-henry. sent11: there exists something such that it is agreeable and it is not a reply. sent12: The electronegativity does not acquaint registrant. sent13: the Esquire staples Dail. sent14: there exists something such that it is agreeable. sent15: the registrant does not staple good-king-henry if the stepson bunks mortgaged but it does not staple Dail. sent16: the ladder acquaints electronegativity. sent17: the ripsaw does not dogmatize Kolam and does not advance. sent18: the registrant is not a kind of a mugwump. sent19: if the ripsaw is unilateral and does staple good-king-henry then it does not acquaint Kekule. sent20: the stepson acquaints Kekule if it is unilateral. sent21: the registrant does not bunk mortgaged. sent22: that something retorts and staples twopence is not correct if the fact that it does not acquaint Kekule is correct. sent23: there exists something such that it is agreeable and it is a reply. sent24: the stepson is unilateral if it bunks mortgaged. sent25: that the stepson does bunk mortgaged but it does not staple Dail does not hold. sent26: the stepson does not bunk mortgaged. sent27: if the stepson does not staple twopence then the ripsaw does bunk mortgaged. ; $proof$ = 
void -> assump1: Let's assume that that the stepson does not bunk mortgaged and does not staple Dail is incorrect.; sent9 & assump1 -> int1: the stepson is unilateral.; int1 & sent20 -> int2: the stepson does acquaint Kekule.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stepson does not bunk mortgaged and it does not staple Dail.; int4 & sent10 -> int5: the fact that the registrant does not staple good-king-henry hold.; int5 & sent3 -> int6: the registrant does not acquaint electronegativity and does not staple good-king-henry.; sent11 & sent6 -> int7: the ripsaw does staple twopence.; __UNKNOWN__