the endoneurium is a unwholesomeness.
sent1: The benefactress headquarters synergy. sent2: the bacteriologist does not ding rewriting. sent3: the bacteriologist is not expiratory. sent4: the clews does not object bap if the fact that the bantamweight object bap and does not headquarter benefactress is not correct. sent5: the abscission does object bap if the synergy does headquarter benefactress. sent6: something is a unwholesomeness if either it does not outgeneral Sully or it is a kind of a unwholesomeness or both. sent7: the endoneurium is a unwholesomeness if the abscission is not a kind of a multivitamin and does object bap. sent8: that the abscission is a unwholesomeness is not wrong if the eelworm is a kind of a unwholesomeness. sent9: the synergy headquarters benefactress. sent10: the bantamweight is not a Chinese if something that does not ding rewriting is not expiratory. sent11: if that the abscission is a kind of scalable thing that does not headquarter afterburner is false then the eelworm is non-choreographic. sent12: the fact that the eelworm does not outgeneral Sully or is not choreographic or both does not hold. sent13: if something does headquarter benefactress and is not a kind of a unwholesomeness then it does not headquarter afterburner. sent14: that something does object bap and does not headquarter benefactress is incorrect if it is not a Chinese. sent15: if there is something such that it is not choreographic and it is not a kind of a multivitamin then the synergy does not outgeneral Sully. sent16: something is not a multivitamin if it is scalable thing that does not headquarter afterburner. sent17: if something does not object bap then it is non-choreographic thing that is not a kind of a multivitamin. sent18: the fact that the endoneurium is not a unwholesomeness is not incorrect if the abscission is a unwholesomeness.
void -> assump1: Let's assume that that the abscission is not unscalable and does not headquarter afterburner is false.; sent11 & assump1 -> int1: the eelworm is not choreographic.; int1 -> int2: the eelworm does not outgeneral Sully or it is not choreographic or both.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the abscission is scalable thing that does not headquarter afterburner.; sent16 -> int5: if the abscission is scalable but it does not headquarter afterburner then it is not a multivitamin.; int4 & int5 -> int6: the abscission is not a multivitamin.; sent5 & sent9 -> int7: the abscission objects bap.; int6 & int7 -> int8: the abscission is not a kind of a multivitamin but it objects bap.; int8 & sent7 -> hypothesis;
the endoneurium is not a kind of a unwholesomeness.
sent6 -> int9: the eelworm is a kind of a unwholesomeness if either it does not outgeneral Sully or it is a unwholesomeness or both.; sent17 -> int10: if the clews does not object bap then it is a kind of non-choreographic thing that is not a multivitamin.; sent14 -> int11: if the bantamweight is not Chinese then the fact that it objects bap and does not headquarter benefactress is not right.; sent2 & sent3 -> int12: the bacteriologist does not ding rewriting and it is not expiratory.; int12 -> int13: something does not ding rewriting and is not expiratory.; int13 & sent10 -> int14: the bantamweight is not Chinese.; int11 & int14 -> int15: the fact that the bantamweight does object bap and does not headquarter benefactress does not hold.; sent4 & int15 -> int16: the clews does not object bap.; int10 & int16 -> int17: the clews is not choreographic and is not a multivitamin.; int17 -> int18: something is not choreographic and is not a multivitamin.; int18 & sent15 -> int19: the fact that the synergy does not outgeneral Sully hold.; int19 -> int20: there is something such that it does not outgeneral Sully.;
$hypothesis$ = the endoneurium is a unwholesomeness. ; $context$ = sent1: The benefactress headquarters synergy. sent2: the bacteriologist does not ding rewriting. sent3: the bacteriologist is not expiratory. sent4: the clews does not object bap if the fact that the bantamweight object bap and does not headquarter benefactress is not correct. sent5: the abscission does object bap if the synergy does headquarter benefactress. sent6: something is a unwholesomeness if either it does not outgeneral Sully or it is a kind of a unwholesomeness or both. sent7: the endoneurium is a unwholesomeness if the abscission is not a kind of a multivitamin and does object bap. sent8: that the abscission is a unwholesomeness is not wrong if the eelworm is a kind of a unwholesomeness. sent9: the synergy headquarters benefactress. sent10: the bantamweight is not a Chinese if something that does not ding rewriting is not expiratory. sent11: if that the abscission is a kind of scalable thing that does not headquarter afterburner is false then the eelworm is non-choreographic. sent12: the fact that the eelworm does not outgeneral Sully or is not choreographic or both does not hold. sent13: if something does headquarter benefactress and is not a kind of a unwholesomeness then it does not headquarter afterburner. sent14: that something does object bap and does not headquarter benefactress is incorrect if it is not a Chinese. sent15: if there is something such that it is not choreographic and it is not a kind of a multivitamin then the synergy does not outgeneral Sully. sent16: something is not a multivitamin if it is scalable thing that does not headquarter afterburner. sent17: if something does not object bap then it is non-choreographic thing that is not a kind of a multivitamin. sent18: the fact that the endoneurium is not a unwholesomeness is not incorrect if the abscission is a unwholesomeness. ; $proof$ = 
void -> assump1: Let's assume that that the abscission is not unscalable and does not headquarter afterburner is false.; sent11 & assump1 -> int1: the eelworm is not choreographic.; int1 -> int2: the eelworm does not outgeneral Sully or it is not choreographic or both.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the abscission is scalable thing that does not headquarter afterburner.; sent16 -> int5: if the abscission is scalable but it does not headquarter afterburner then it is not a multivitamin.; int4 & int5 -> int6: the abscission is not a multivitamin.; sent5 & sent9 -> int7: the abscission objects bap.; int6 & int7 -> int8: the abscission is not a kind of a multivitamin but it objects bap.; int8 & sent7 -> hypothesis; __PROVED__