the hand-me-down is an eggnog.
sent1: something is thalassic and is not a predecessor if it is taxable. sent2: the transamination does not guess boldface and it does not socialize Leon. sent3: the transamination is not a ninepence. sent4: something is a kind of a prematureness and it is bistroic. sent5: if something that is a kind of a prematureness is bistroic then the borax revalues. sent6: the transamination does not guess boldface and it is not awful if the hand-me-down is not an eggnog. sent7: something is not a kind of a Black and/or it is not a kind of an eggnog if it does socialize Leon. sent8: the borax is a Black. sent9: if that the transamination is not a ninepence is correct the fact that it is commensal and it does gather Omdurman is not right. sent10: if the transamination is a kind of non-commensal thing that is taxable then that it is not non-thalassic hold. sent11: if the transamination does guess boldface but it is not awful then the review socializes Leon. sent12: if something is not a Black or it is not an eggnog or both the fact that it is not an eggnog is not false. sent13: the transamination does not guess boldface if the hand-me-down is not an eggnog. sent14: the fact that the transamination is taxable is true if the review is not taxable but it connives. sent15: if the review does not guess boldface and it is not an eggnog the hand-me-down socializes Leon. sent16: something is non-commensal if the fact that it is a kind of non-commensal thing that gathers Omdurman is not right. sent17: the fact that the transamination does not guess boldface is correct. sent18: either the relict is a Black or it is an eggnog or both if it is not a predecessor. sent19: the borax is not a Black if there is something such that it does guess boldface. sent20: if the borax does revalue then the review is non-taxable thing that connives. sent21: the review does socialize Leon if the transamination does not guess boldface and is not awful.
void -> assump1: Let's assume that the hand-me-down is not an eggnog.; sent6 & assump1 -> int1: the transamination does not guess boldface and is non-awful.; int1 & sent21 -> int2: the review does socialize Leon.; sent8 -> int3: there exists something such that it is a Black.;
the hand-me-down is not an eggnog.
sent12 -> int4: if the hand-me-down is not a Black or not an eggnog or both then it is not an eggnog.; sent7 -> int5: if the hand-me-down does socialize Leon then it is not a Black and/or it is not an eggnog.; sent16 -> int6: the transamination is not a commensal if the fact that it is a commensal and it gathers Omdurman is not right.; sent9 & sent3 -> int7: that the transamination is a kind of commensal thing that gathers Omdurman is false.; int6 & int7 -> int8: the transamination is not a commensal.; sent4 & sent5 -> int9: the borax does revalue.; sent20 & int9 -> int10: the review is not taxable and does connive.; sent14 & int10 -> int11: the transamination is taxable.; int8 & int11 -> int12: the transamination is not a commensal but it is taxable.; sent10 & int12 -> int13: the transamination is thalassic.; int13 -> int14: there is something such that it is thalassic.;
$hypothesis$ = the hand-me-down is an eggnog. ; $context$ = sent1: something is thalassic and is not a predecessor if it is taxable. sent2: the transamination does not guess boldface and it does not socialize Leon. sent3: the transamination is not a ninepence. sent4: something is a kind of a prematureness and it is bistroic. sent5: if something that is a kind of a prematureness is bistroic then the borax revalues. sent6: the transamination does not guess boldface and it is not awful if the hand-me-down is not an eggnog. sent7: something is not a kind of a Black and/or it is not a kind of an eggnog if it does socialize Leon. sent8: the borax is a Black. sent9: if that the transamination is not a ninepence is correct the fact that it is commensal and it does gather Omdurman is not right. sent10: if the transamination is a kind of non-commensal thing that is taxable then that it is not non-thalassic hold. sent11: if the transamination does guess boldface but it is not awful then the review socializes Leon. sent12: if something is not a Black or it is not an eggnog or both the fact that it is not an eggnog is not false. sent13: the transamination does not guess boldface if the hand-me-down is not an eggnog. sent14: the fact that the transamination is taxable is true if the review is not taxable but it connives. sent15: if the review does not guess boldface and it is not an eggnog the hand-me-down socializes Leon. sent16: something is non-commensal if the fact that it is a kind of non-commensal thing that gathers Omdurman is not right. sent17: the fact that the transamination does not guess boldface is correct. sent18: either the relict is a Black or it is an eggnog or both if it is not a predecessor. sent19: the borax is not a Black if there is something such that it does guess boldface. sent20: if the borax does revalue then the review is non-taxable thing that connives. sent21: the review does socialize Leon if the transamination does not guess boldface and is not awful. ; $proof$ = 
void -> assump1: Let's assume that the hand-me-down is not an eggnog.; sent6 & assump1 -> int1: the transamination does not guess boldface and is non-awful.; int1 & sent21 -> int2: the review does socialize Leon.; sent8 -> int3: there exists something such that it is a Black.; __UNKNOWN__