if the conciliatoriness does not occur then the soar does not occur and the chronicness does not occur.
sent1: the mythologizing cicada occurs if the acentricness occurs. sent2: the non-air-to-airness and/or the non-erectness happens. sent3: the fact that the coastalness and the non-informativeness happens does not hold if the mythologizing cicada happens. sent4: that the erectness does not occur prevents the feeding. sent5: that the seek happens hold. sent6: the soar does not occur and the chronicness does not occur if the conciliatoriness happens. sent7: that the erectness does not occur prevents that the feeding does not occur. sent8: the mythologizing Arctic does not occur if the soaring but not the conciliatoriness occurs. sent9: the conciliatoriness happens if the soaring occurs. sent10: the mythologizing sheller happens. sent11: the erectness and the air-to-airness happens if the chocking formulary does not occur. sent12: if the calycealness but not the feed happens then the chronicness does not occur. sent13: the fleshing lacertid does not occur. sent14: if the fact that the calycealness does not occur hold then that that the chronicness does not occur and the feed does not occur is incorrect hold. sent15: the callosotomy does not occur. sent16: the starving does not occur and the alveolar does not occur if the mythologizing Arctic does not occur. sent17: the chocking formulary does not occur if the fact that the coastalness and the uninformativeness happens is incorrect. sent18: if the delusion happens then the acanthoticness occurs. sent19: the calycealness and the mythologizing sheller occurs. sent20: if that that the chronicness does not occur and the feeding does not occur is wrong hold the chronicness occurs. sent21: the rutting does not occur and the predicativeness does not occur. sent22: the feeding does not occur if the fact that the air-to-airness does not occur is correct.
void -> assump1: Let's assume that the soaring occurs.; sent9 & assump1 -> int1: the conciliatoriness happens.; void -> assump2: Let's assume that the conciliatoriness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the soaring does not occur.; sent19 -> int4: that the calycealness does not occur does not hold.; sent2 & sent22 & sent4 -> int5: the feeding does not occur.; int4 & int5 -> int6: the calycealness but not the feeding occurs.; sent12 & int6 -> int7: the chronicness does not occur.; int3 & int7 -> int8: that the soar does not occur and the chronicness does not occur is correct.; [assump2] & int8 -> hypothesis;
the mythologizing Arctic does not occur.
$hypothesis$ = if the conciliatoriness does not occur then the soar does not occur and the chronicness does not occur. ; $context$ = sent1: the mythologizing cicada occurs if the acentricness occurs. sent2: the non-air-to-airness and/or the non-erectness happens. sent3: the fact that the coastalness and the non-informativeness happens does not hold if the mythologizing cicada happens. sent4: that the erectness does not occur prevents the feeding. sent5: that the seek happens hold. sent6: the soar does not occur and the chronicness does not occur if the conciliatoriness happens. sent7: that the erectness does not occur prevents that the feeding does not occur. sent8: the mythologizing Arctic does not occur if the soaring but not the conciliatoriness occurs. sent9: the conciliatoriness happens if the soaring occurs. sent10: the mythologizing sheller happens. sent11: the erectness and the air-to-airness happens if the chocking formulary does not occur. sent12: if the calycealness but not the feed happens then the chronicness does not occur. sent13: the fleshing lacertid does not occur. sent14: if the fact that the calycealness does not occur hold then that that the chronicness does not occur and the feed does not occur is incorrect hold. sent15: the callosotomy does not occur. sent16: the starving does not occur and the alveolar does not occur if the mythologizing Arctic does not occur. sent17: the chocking formulary does not occur if the fact that the coastalness and the uninformativeness happens is incorrect. sent18: if the delusion happens then the acanthoticness occurs. sent19: the calycealness and the mythologizing sheller occurs. sent20: if that that the chronicness does not occur and the feeding does not occur is wrong hold the chronicness occurs. sent21: the rutting does not occur and the predicativeness does not occur. sent22: the feeding does not occur if the fact that the air-to-airness does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the soaring occurs.; sent9 & assump1 -> int1: the conciliatoriness happens.; void -> assump2: Let's assume that the conciliatoriness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the soaring does not occur.; sent19 -> int4: that the calycealness does not occur does not hold.; sent2 & sent22 & sent4 -> int5: the feeding does not occur.; int4 & int5 -> int6: the calycealness but not the feeding occurs.; sent12 & int6 -> int7: the chronicness does not occur.; int3 & int7 -> int8: that the soar does not occur and the chronicness does not occur is correct.; [assump2] & int8 -> hypothesis; __PROVED__