if the situation happens the fact that the realigning euphoriant does not occur is not wrong.
sent1: that the realigning euphoriant does not occur is brought about by that the situation and/or the realigning wear happens. sent2: if the fact that the realigning wear does not occur and the situation does not occur is not right then the free occurs.
void -> assump1: Let's assume that the situation occurs.; assump1 -> int1: the situation and/or the realigning wear happens.; int1 & sent1 -> int2: the realigning euphoriant does not occur.; [assump1] & int2 -> hypothesis;
either the hypsometry or the freeness or both occurs.
$hypothesis$ = if the situation happens the fact that the realigning euphoriant does not occur is not wrong. ; $context$ = sent1: that the realigning euphoriant does not occur is brought about by that the situation and/or the realigning wear happens. sent2: if the fact that the realigning wear does not occur and the situation does not occur is not right then the free occurs. ; $proof$ = 
void -> assump1: Let's assume that the situation occurs.; assump1 -> int1: the situation and/or the realigning wear happens.; int1 & sent1 -> int2: the realigning euphoriant does not occur.; [assump1] & int2 -> hypothesis; __PROVED__