the fact that the neutralization is not a kind of a dobra and does not outshout Washington does not hold.
sent1: something that is philharmonic is not a kind of a dobra and does not outshout Washington. sent2: that the assimilation is a kind of a combed but it is not androgenic is not true. sent3: that the neutralization is not a dobra and does not outshout Washington does not hold if the assimilation is not a dobra. sent4: the schooner does outshout refutation if it is androgenic. sent5: the fact that the schooner is both not nonparticulate and a combed is not right. sent6: the fact that the assimilation does not outshout Washington and is a kind of a civilian is wrong. sent7: if the fact that the synchrocyclotron does not even berserker and it is not undynamic is not right that the schooner does not outshout refutation hold. sent8: the assimilation is not philharmonic if the bumboat is a civilian. sent9: the synchrocyclotron does not even berserker. sent10: that the bumboat is both not androgenic and not philharmonic does not hold. sent11: if that the schooner is not a dobra and does not outshout refutation is wrong the neutralization is not a kind of a civilian. sent12: the schooner is androgenic. sent13: the fact that the neutralization is a kind of a dobra but it is not a combed is not true. sent14: if the assimilation is not dynamic and/or it does comb then the fact that it is not a kind of a dobra is not wrong. sent15: the bumboat is philharmonic if the synchrocyclotron does not even berserker and is not undynamic. sent16: the synchrocyclotron is not a combed. sent17: the fact that the assimilation is civilian hold if the bumboat is philharmonic. sent18: if the synchrocyclotron does not outshout refutation then the neutralization is philharmonic.
void -> assump1: Let's assume that that that the synchrocyclotron does not even berserker and is not undynamic is right does not hold.; sent7 & assump1 -> int1: the fact that the schooner does not outshout refutation is correct.; sent4 & sent12 -> int2: the fact that the schooner outshouts refutation hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the synchrocyclotron does not even berserker and is not undynamic.; int4 & sent15 -> int5: the bumboat is philharmonic.; int5 & sent17 -> int6: the assimilation is a civilian.; int6 -> int7: the assimilation is a combed and/or a civilian.;
the neutralization is not a dobra and it does not outshout Washington.
sent1 -> int8: if the neutralization is philharmonic it is not a kind of a dobra and it does not outshout Washington.;
$hypothesis$ = the fact that the neutralization is not a kind of a dobra and does not outshout Washington does not hold. ; $context$ = sent1: something that is philharmonic is not a kind of a dobra and does not outshout Washington. sent2: that the assimilation is a kind of a combed but it is not androgenic is not true. sent3: that the neutralization is not a dobra and does not outshout Washington does not hold if the assimilation is not a dobra. sent4: the schooner does outshout refutation if it is androgenic. sent5: the fact that the schooner is both not nonparticulate and a combed is not right. sent6: the fact that the assimilation does not outshout Washington and is a kind of a civilian is wrong. sent7: if the fact that the synchrocyclotron does not even berserker and it is not undynamic is not right that the schooner does not outshout refutation hold. sent8: the assimilation is not philharmonic if the bumboat is a civilian. sent9: the synchrocyclotron does not even berserker. sent10: that the bumboat is both not androgenic and not philharmonic does not hold. sent11: if that the schooner is not a dobra and does not outshout refutation is wrong the neutralization is not a kind of a civilian. sent12: the schooner is androgenic. sent13: the fact that the neutralization is a kind of a dobra but it is not a combed is not true. sent14: if the assimilation is not dynamic and/or it does comb then the fact that it is not a kind of a dobra is not wrong. sent15: the bumboat is philharmonic if the synchrocyclotron does not even berserker and is not undynamic. sent16: the synchrocyclotron is not a combed. sent17: the fact that the assimilation is civilian hold if the bumboat is philharmonic. sent18: if the synchrocyclotron does not outshout refutation then the neutralization is philharmonic. ; $proof$ = 
void -> assump1: Let's assume that that that the synchrocyclotron does not even berserker and is not undynamic is right does not hold.; sent7 & assump1 -> int1: the fact that the schooner does not outshout refutation is correct.; sent4 & sent12 -> int2: the fact that the schooner outshouts refutation hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the synchrocyclotron does not even berserker and is not undynamic.; int4 & sent15 -> int5: the bumboat is philharmonic.; int5 & sent17 -> int6: the assimilation is a civilian.; int6 -> int7: the assimilation is a combed and/or a civilian.; __UNKNOWN__