if that the arbitraging happens is not wrong then the assembly does not occur.
sent1: that the hiding does not occur is true. sent2: if that the arbitrage does not occur and the racing does not occur is incorrect the fact that the assembly does not occur is not false. sent3: that the arbitraging does not occur and the racing does not occur leads to that the assembly does not occur. sent4: that the assembly occurs is caused by the arbitraging. sent5: if the racing happens then the arbitraging occurs and the apoplectiformness does not occur. sent6: if that the fact that the arbitrage does not occur and the racing does not occur hold is not correct the assembly happens. sent7: that the arbitrage but not the racing occurs is not correct. sent8: the companying Augustinian happens. sent9: the fact that not the arbitrage but the racing happens is not correct.
void -> assump2: Let's assume that the arbitraging does not occur and the racing does not occur.; assump2 -> int1: the arbitrage does not occur.; void -> assump1: Let's assume that the fact that the arbitrage happens is correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the arbitraging does not occur and the racing does not occur does not hold.; int3 & sent2 -> int4: the assembly does not occur.; [assump1] & int4 -> hypothesis;
the apoplectiformness does not occur.
$hypothesis$ = if that the arbitraging happens is not wrong then the assembly does not occur. ; $context$ = sent1: that the hiding does not occur is true. sent2: if that the arbitrage does not occur and the racing does not occur is incorrect the fact that the assembly does not occur is not false. sent3: that the arbitraging does not occur and the racing does not occur leads to that the assembly does not occur. sent4: that the assembly occurs is caused by the arbitraging. sent5: if the racing happens then the arbitraging occurs and the apoplectiformness does not occur. sent6: if that the fact that the arbitrage does not occur and the racing does not occur hold is not correct the assembly happens. sent7: that the arbitrage but not the racing occurs is not correct. sent8: the companying Augustinian happens. sent9: the fact that not the arbitrage but the racing happens is not correct. ; $proof$ = 
void -> assump2: Let's assume that the arbitraging does not occur and the racing does not occur.; assump2 -> int1: the arbitrage does not occur.; void -> assump1: Let's assume that the fact that the arbitrage happens is correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the arbitraging does not occur and the racing does not occur does not hold.; int3 & sent2 -> int4: the assembly does not occur.; [assump1] & int4 -> hypothesis; __PROVED__