the fact that if the bobble does not occur the fact that not the butting Belarusian but the employment happens is not correct is not true.
sent1: not the weaving residence but the ruse happens. sent2: that not the butting Belarusian but the employment happens is brought about by that the bobble does not occur. sent3: the butting Belarusian does not occur. sent4: the bobble occurs if not the butting Belarusian but the employment occurs. sent5: the bobble happens if the butting Belarusian and the employment happens. sent6: that the butting Belarusian happens and the employment occurs is not right.
void -> assump1: Let's assume that not the butting Belarusian but the employment occurs.; sent4 & assump1 -> int1: the bobble occurs.; void -> assump2: Let's assume that the bobble does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the butting Belarusian does not occur and the employment happens is not true.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that if the bobble does not occur the fact that not the butting Belarusian but the employment happens is not correct is not true. ; $context$ = sent1: not the weaving residence but the ruse happens. sent2: that not the butting Belarusian but the employment happens is brought about by that the bobble does not occur. sent3: the butting Belarusian does not occur. sent4: the bobble occurs if not the butting Belarusian but the employment occurs. sent5: the bobble happens if the butting Belarusian and the employment happens. sent6: that the butting Belarusian happens and the employment occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that not the butting Belarusian but the employment occurs.; sent4 & assump1 -> int1: the bobble occurs.; void -> assump2: Let's assume that the bobble does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the butting Belarusian does not occur and the employment happens is not true.; [assump2] & int3 -> hypothesis; __DISPROVED__