the catholicizing occurs if that the autumnalness occurs is not wrong.
sent1: that not the harmonization but the economicalness happens is triggered by that the punitiveness occurs. sent2: if the finishing overcredulity occurs the fact that the harmonization does not occur and the economicalness occurs is not true. sent3: that both the harmonization and the economicalness happens is not right if the finishing overcredulity occurs. sent4: the passionateness happens. sent5: the finishing overcredulity happens. sent6: that the punitiveness occurs prevents that the harmonization happens. sent7: the harmonization does not occur. sent8: the catholicizing happens if the non-punitiveness and the autumnalness happens.
void -> assump2: Let's assume that the punitiveness occurs.; sent1 & assump2 -> int1: the harmonization does not occur but the economicalness happens.; sent2 & sent5 -> int2: that not the harmonization but the economicalness happens is false.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the punitiveness does not occur.; void -> assump1: Let's assume that the autumnalness occurs.; int4 & assump1 -> int5: both the non-punitiveness and the autumnalness occurs.; int5 & sent8 -> int6: the catholicizing occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the catholicizing occurs if that the autumnalness occurs is not wrong. ; $context$ = sent1: that not the harmonization but the economicalness happens is triggered by that the punitiveness occurs. sent2: if the finishing overcredulity occurs the fact that the harmonization does not occur and the economicalness occurs is not true. sent3: that both the harmonization and the economicalness happens is not right if the finishing overcredulity occurs. sent4: the passionateness happens. sent5: the finishing overcredulity happens. sent6: that the punitiveness occurs prevents that the harmonization happens. sent7: the harmonization does not occur. sent8: the catholicizing happens if the non-punitiveness and the autumnalness happens. ; $proof$ = 
void -> assump2: Let's assume that the punitiveness occurs.; sent1 & assump2 -> int1: the harmonization does not occur but the economicalness happens.; sent2 & sent5 -> int2: that not the harmonization but the economicalness happens is false.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the punitiveness does not occur.; void -> assump1: Let's assume that the autumnalness occurs.; int4 & assump1 -> int5: both the non-punitiveness and the autumnalness occurs.; int5 & sent8 -> int6: the catholicizing occurs.; [assump1] & int6 -> hypothesis; __PROVED__