if the rendering clamp does not occur the empyrealness does not occur.
sent1: the fact that the electrocution does not occur is not false. sent2: that the drudgery does not occur is triggered by the empyrealness or that the stomaching occurs or both. sent3: if the drudgery does not occur then the rendering clamp and the pyemicness happens. sent4: the nomotheticness does not occur.
void -> assump2: Let's assume that the empyrealness happens.; assump2 -> int1: the empyrealness and/or the stomach happens.; sent2 & int1 -> int2: the drudgery does not occur.; sent3 & int2 -> int3: the rendering clamp and the pyemicness occurs.; int3 -> int4: the rendering clamp occurs.; void -> assump1: Let's assume that the rendering clamp does not occur.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the empyrealness does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the rendering clamp does not occur the empyrealness does not occur. ; $context$ = sent1: the fact that the electrocution does not occur is not false. sent2: that the drudgery does not occur is triggered by the empyrealness or that the stomaching occurs or both. sent3: if the drudgery does not occur then the rendering clamp and the pyemicness happens. sent4: the nomotheticness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the empyrealness happens.; assump2 -> int1: the empyrealness and/or the stomach happens.; sent2 & int1 -> int2: the drudgery does not occur.; sent3 & int2 -> int3: the rendering clamp and the pyemicness occurs.; int3 -> int4: the rendering clamp occurs.; void -> assump1: Let's assume that the rendering clamp does not occur.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the empyrealness does not occur.; [assump1] & int6 -> hypothesis; __PROVED__