the stewardship does not occur if the Socraticness occurs.
sent1: if that not the marshaling Tungusic but the transient happens is incorrect then the monoeciousness occurs. sent2: the fact that the marshaling Tungusic does not occur and the transient occurs is incorrect. sent3: the dimorphism does not occur. sent4: that both the monoeciousness and the stewardship happens prevents the Socraticness. sent5: the unidirectionalness occurs. sent6: the monoeciousness happens if the transient does not occur.
void -> assump2: Let's assume that the Socraticness occurs.; sent1 & sent2 -> int1: the monoeciousness occurs.; void -> assump1: Let's assume that the stewardship happens.; int1 & assump1 -> int2: the monoeciousness happens and the stewardship happens.; sent4 & int2 -> int3: the Socraticness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the stewardship does not occur is right.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the stewardship does not occur if the Socraticness occurs. ; $context$ = sent1: if that not the marshaling Tungusic but the transient happens is incorrect then the monoeciousness occurs. sent2: the fact that the marshaling Tungusic does not occur and the transient occurs is incorrect. sent3: the dimorphism does not occur. sent4: that both the monoeciousness and the stewardship happens prevents the Socraticness. sent5: the unidirectionalness occurs. sent6: the monoeciousness happens if the transient does not occur. ; $proof$ = 
void -> assump2: Let's assume that the Socraticness occurs.; sent1 & sent2 -> int1: the monoeciousness occurs.; void -> assump1: Let's assume that the stewardship happens.; int1 & assump1 -> int2: the monoeciousness happens and the stewardship happens.; sent4 & int2 -> int3: the Socraticness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the stewardship does not occur is right.; [assump2] & int5 -> hypothesis; __PROVED__