if the radioactiveness occurs the fact that the fact that the embodiment but not the dissent happens does not hold is true.
sent1: that the radioactiveness does not occur hold if the embodiment occurs and the dissent does not occur. sent2: the radioactiveness does not occur if the embodiment happens and the dissent happens. sent3: if the radioactiveness happens the embodiment but not the dissent happens. sent4: the rain does not occur if the rustle but not the rendering stibnite happens. sent5: that the embodiment occurs and the dissenting does not occur causes the radioactiveness. sent6: if the radioactiveness happens then the fact that the embodiment happens and the dissent occurs is incorrect. sent7: that that the runaway but not the mantling happens is not right is not wrong if the upheaval occurs. sent8: the fact that both the embodiment and the dissenting occurs does not hold. sent9: the dissent does not occur. sent10: that that the tensedness but not the martyrdom occurs hold causes that the certifying does not occur.
void -> assump1: Let's assume that the embodiment occurs and the dissenting does not occur.; sent1 & assump1 -> int1: the radioactiveness does not occur.; void -> assump2: Let's assume that the radioactiveness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the embodiment but not the dissent happens is not true.; [assump2] & int3 -> hypothesis;
$hypothesis$ = if the radioactiveness occurs the fact that the fact that the embodiment but not the dissent happens does not hold is true. ; $context$ = sent1: that the radioactiveness does not occur hold if the embodiment occurs and the dissent does not occur. sent2: the radioactiveness does not occur if the embodiment happens and the dissent happens. sent3: if the radioactiveness happens the embodiment but not the dissent happens. sent4: the rain does not occur if the rustle but not the rendering stibnite happens. sent5: that the embodiment occurs and the dissenting does not occur causes the radioactiveness. sent6: if the radioactiveness happens then the fact that the embodiment happens and the dissent occurs is incorrect. sent7: that that the runaway but not the mantling happens is not right is not wrong if the upheaval occurs. sent8: the fact that both the embodiment and the dissenting occurs does not hold. sent9: the dissent does not occur. sent10: that that the tensedness but not the martyrdom occurs hold causes that the certifying does not occur. ; $proof$ = 
void -> assump1: Let's assume that the embodiment occurs and the dissenting does not occur.; sent1 & assump1 -> int1: the radioactiveness does not occur.; void -> assump2: Let's assume that the radioactiveness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the embodiment but not the dissent happens is not true.; [assump2] & int3 -> hypothesis; __PROVED__