that not the elegantness but the reorienting cockpit occurs is not correct.
sent1: that the redemption does not occur or the noselessness does not occur or both is wrong. sent2: the stoicness happens if the non-elegantness and the reorienting cockpit happens. sent3: both the non-elegantness and the reorienting cockpit occurs if the fact that the redemption does not occur is correct. sent4: that the stoic does not occur is true if the fact that the redemption does not occur and/or the noselessness does not occur does not hold.
void -> assump1: Let's assume that the inelegantness and the reorienting cockpit happens.; sent2 & assump1 -> int1: the stoic happens.; sent4 & sent1 -> int2: the stoic does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the non-elegantness and the reorienting cockpit occurs.
$hypothesis$ = that not the elegantness but the reorienting cockpit occurs is not correct. ; $context$ = sent1: that the redemption does not occur or the noselessness does not occur or both is wrong. sent2: the stoicness happens if the non-elegantness and the reorienting cockpit happens. sent3: both the non-elegantness and the reorienting cockpit occurs if the fact that the redemption does not occur is correct. sent4: that the stoic does not occur is true if the fact that the redemption does not occur and/or the noselessness does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the inelegantness and the reorienting cockpit happens.; sent2 & assump1 -> int1: the stoic happens.; sent4 & sent1 -> int2: the stoic does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__