that the repositioning happens prevents that the trebling does not occur.
sent1: if not the collar but the repositioning occurs then the trebling occurs. sent2: the fact that the bestowing but not the paring occurs is false if the parcellation does not occur. sent3: if the righting Alexandrine does not occur then the hypsography does not occur and the irradiating does not occur. sent4: the naprapathy does not occur. sent5: the righting Alexandrine does not occur. sent6: the fact that the hypsography does not occur and the irradiating does not occur is false if the dinning orris does not occur. sent7: the snuffing Asia happens. sent8: if the fact that the collar does not occur and/or the snuffing Asia does not occur does not hold then the air does not occur. sent9: if the immobilization does not occur then that the patronizing baa does not occur and the basting does not occur is not true. sent10: that the dinning orris does not occur is caused by that both the snuffing Asia and the collar happens.
void -> assump1: Let's assume that the collaring occurs.; sent7 & assump1 -> int1: both the snuffing Asia and the collar happens.; int1 & sent10 -> int2: that the dinning orris does not occur is correct.; int2 & sent6 -> int3: that the hypsography does not occur and the irradiating does not occur does not hold.; sent3 & sent5 -> int4: the hypsography does not occur and the irradiating does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collar does not occur.; void -> assump2: Let's assume that the repositioning happens.; int6 & assump2 -> int7: not the collar but the repositioning happens.; int7 & sent1 -> int8: the trebling happens.; [assump2] & int8 -> hypothesis;
the airing does not occur.
$hypothesis$ = that the repositioning happens prevents that the trebling does not occur. ; $context$ = sent1: if not the collar but the repositioning occurs then the trebling occurs. sent2: the fact that the bestowing but not the paring occurs is false if the parcellation does not occur. sent3: if the righting Alexandrine does not occur then the hypsography does not occur and the irradiating does not occur. sent4: the naprapathy does not occur. sent5: the righting Alexandrine does not occur. sent6: the fact that the hypsography does not occur and the irradiating does not occur is false if the dinning orris does not occur. sent7: the snuffing Asia happens. sent8: if the fact that the collar does not occur and/or the snuffing Asia does not occur does not hold then the air does not occur. sent9: if the immobilization does not occur then that the patronizing baa does not occur and the basting does not occur is not true. sent10: that the dinning orris does not occur is caused by that both the snuffing Asia and the collar happens. ; $proof$ = 
void -> assump1: Let's assume that the collaring occurs.; sent7 & assump1 -> int1: both the snuffing Asia and the collar happens.; int1 & sent10 -> int2: that the dinning orris does not occur is correct.; int2 & sent6 -> int3: that the hypsography does not occur and the irradiating does not occur does not hold.; sent3 & sent5 -> int4: the hypsography does not occur and the irradiating does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collar does not occur.; void -> assump2: Let's assume that the repositioning happens.; int6 & assump2 -> int7: not the collar but the repositioning happens.; int7 & sent1 -> int8: the trebling happens.; [assump2] & int8 -> hypothesis; __PROVED__