that the civilian is prevented by that the unidirectionalness does not occur is not correct.
sent1: the fact that the civilian and the non-unidirectionalness happens does not hold. sent2: if the standdown does not occur then the unidirectionalness does not occur or the civilianness does not occur or both. sent3: the synestheticness does not occur if the non-unidirectionalness or the non-civilianness or both happens. sent4: the exponentiation does not occur. sent5: that the thuggee does not occur and the coping swept happens leads to that the standdown does not occur. sent6: that not the thuggee but the coping swept happens is triggered by the non-ametropicness.
void -> assump2: Let's assume that the civilianness happens.; void -> assump1: Let's assume that the unidirectionalness does not occur.; assump2 & assump1 -> int1: both the civilian and the non-unidirectionalness happens.; int1 & sent1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the civilianness does not occur.; [assump1] & int3 -> hypothesis;
the synestheticness does not occur.
$hypothesis$ = that the civilian is prevented by that the unidirectionalness does not occur is not correct. ; $context$ = sent1: the fact that the civilian and the non-unidirectionalness happens does not hold. sent2: if the standdown does not occur then the unidirectionalness does not occur or the civilianness does not occur or both. sent3: the synestheticness does not occur if the non-unidirectionalness or the non-civilianness or both happens. sent4: the exponentiation does not occur. sent5: that the thuggee does not occur and the coping swept happens leads to that the standdown does not occur. sent6: that not the thuggee but the coping swept happens is triggered by the non-ametropicness. ; $proof$ = 
void -> assump2: Let's assume that the civilianness happens.; void -> assump1: Let's assume that the unidirectionalness does not occur.; assump2 & assump1 -> int1: both the civilian and the non-unidirectionalness happens.; int1 & sent1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the civilianness does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__