the fact that that the soubrette occurs leads to that the impropriety happens does not hold.
sent1: if the impropriety does not occur then the soubrette does not occur. sent2: if the witching does not occur the impropriety and/or the soubrette occurs. sent3: the witching does not occur if the topicalness does not occur and/or the witching does not occur.
void -> assump1: Let's assume that that the impropriety does not occur is not incorrect.; sent1 & assump1 -> int1: the soubrette does not occur.; void -> assump2: Let's assume that the soubrette occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the impropriety happens.; [assump2] & int3 -> hypothesis;
the orchestralness occurs.
$hypothesis$ = the fact that that the soubrette occurs leads to that the impropriety happens does not hold. ; $context$ = sent1: if the impropriety does not occur then the soubrette does not occur. sent2: if the witching does not occur the impropriety and/or the soubrette occurs. sent3: the witching does not occur if the topicalness does not occur and/or the witching does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the impropriety does not occur is not incorrect.; sent1 & assump1 -> int1: the soubrette does not occur.; void -> assump2: Let's assume that the soubrette occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the impropriety happens.; [assump2] & int3 -> hypothesis; __DISPROVED__