the mazer is both not a cry and not a supercharger.
sent1: if something is not boneless or does single disavowal or both the rodent is not an atrophied. sent2: the rodent does not single disavowal if the mazer does single disavowal. sent3: the fact that the rodent is a kind of a Jacksonian is correct if it is not a return and it is not a promulgator. sent4: the rodent is not a return and not a promulgator if it is not a kind of an atrophied. sent5: that something does not cry and it is not a supercharger is not correct if it is an atrophied. sent6: if the emulsion is not a supercharger the mazer is not a cry and not a supercharger. sent7: the rodent is not a kind of a probity. sent8: if that that the emulsion is not boneless and/or it singles disavowal is right is not correct then it is not a supercharger.
void -> assump1: Let's assume that either the emulsion is not boneless or it does single disavowal or both.; assump1 -> int1: there exists something such that either it is not boneless or it singles disavowal or both.; int1 & sent1 -> int2: the rodent is not an atrophied.; int2 & sent4 -> int3: the rodent is both not a return and not a promulgator.; int3 & sent3 -> int4: the rodent is a kind of a Jacksonian.;
the rodent does not single disavowal.
$hypothesis$ = the mazer is both not a cry and not a supercharger. ; $context$ = sent1: if something is not boneless or does single disavowal or both the rodent is not an atrophied. sent2: the rodent does not single disavowal if the mazer does single disavowal. sent3: the fact that the rodent is a kind of a Jacksonian is correct if it is not a return and it is not a promulgator. sent4: the rodent is not a return and not a promulgator if it is not a kind of an atrophied. sent5: that something does not cry and it is not a supercharger is not correct if it is an atrophied. sent6: if the emulsion is not a supercharger the mazer is not a cry and not a supercharger. sent7: the rodent is not a kind of a probity. sent8: if that that the emulsion is not boneless and/or it singles disavowal is right is not correct then it is not a supercharger. ; $proof$ = 
void -> assump1: Let's assume that either the emulsion is not boneless or it does single disavowal or both.; assump1 -> int1: there exists something such that either it is not boneless or it singles disavowal or both.; int1 & sent1 -> int2: the rodent is not an atrophied.; int2 & sent4 -> int3: the rodent is both not a return and not a promulgator.; int3 & sent3 -> int4: the rodent is a kind of a Jacksonian.; __UNKNOWN__