the mace is not effective.
sent1: the lactalbumin does not steepen retreated. sent2: the lactalbumin does not bawl unrestraint. sent3: The unrestraint does not bawl lactalbumin. sent4: The retreated does not steepen lactalbumin. sent5: the sagebrush is not effective. sent6: the fact that the lactalbumin does not steepen retreated and it does not bawl unrestraint is incorrect if the mace is effective.
void -> assump1: Let's assume that the mace is effective.; sent6 & assump1 -> int1: that the lactalbumin does not steepen retreated and does not bawl unrestraint is incorrect.; sent1 & sent2 -> int2: the lactalbumin does not steepen retreated and does not bawl unrestraint.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the mace is not effective. ; $context$ = sent1: the lactalbumin does not steepen retreated. sent2: the lactalbumin does not bawl unrestraint. sent3: The unrestraint does not bawl lactalbumin. sent4: The retreated does not steepen lactalbumin. sent5: the sagebrush is not effective. sent6: the fact that the lactalbumin does not steepen retreated and it does not bawl unrestraint is incorrect if the mace is effective. ; $proof$ = 
void -> assump1: Let's assume that the mace is effective.; sent6 & assump1 -> int1: that the lactalbumin does not steepen retreated and does not bawl unrestraint is incorrect.; sent1 & sent2 -> int2: the lactalbumin does not steepen retreated and does not bawl unrestraint.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__