that if the hardening grocery does not occur then the festival but not the hardening candlepin occurs does not hold.
sent1: the accommodationalness does not occur if the hardening candlepin does not occur and the hardening grocery does not occur. sent2: the fact that the professionalness occurs but the restarting cumulonimbus does not occur is right. sent3: if the bane does not occur the radiolucentness happens but the multilevelness does not occur. sent4: the anhydrousness happens and the aftermath does not occur. sent5: the closeting but not the admonishing happens if the conservativeness does not occur. sent6: that the hardening grocery happens results in that the festival but not the hardening candlepin happens. sent7: the melding happens but the Ford does not occur. sent8: the hardening candlepin causes the hardening grocery. sent9: the festival occurs. sent10: the adientness does not occur. sent11: the restarting shoetree occurs. sent12: the racquetball but not the including cascabel happens if the including clarinetist does not occur. sent13: the leave occurs.
void -> assump1: Let's assume that the hardening candlepin happens.; sent8 & assump1 -> int1: the hardening grocery happens.; void -> assump2: Let's assume that the hardening grocery does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hardening candlepin does not occur.; int3 & sent9 -> int4: the festival happens but the hardening candlepin does not occur.; [assump2] & int4 -> hypothesis;
the accommodationalness does not occur.
$hypothesis$ = that if the hardening grocery does not occur then the festival but not the hardening candlepin occurs does not hold. ; $context$ = sent1: the accommodationalness does not occur if the hardening candlepin does not occur and the hardening grocery does not occur. sent2: the fact that the professionalness occurs but the restarting cumulonimbus does not occur is right. sent3: if the bane does not occur the radiolucentness happens but the multilevelness does not occur. sent4: the anhydrousness happens and the aftermath does not occur. sent5: the closeting but not the admonishing happens if the conservativeness does not occur. sent6: that the hardening grocery happens results in that the festival but not the hardening candlepin happens. sent7: the melding happens but the Ford does not occur. sent8: the hardening candlepin causes the hardening grocery. sent9: the festival occurs. sent10: the adientness does not occur. sent11: the restarting shoetree occurs. sent12: the racquetball but not the including cascabel happens if the including clarinetist does not occur. sent13: the leave occurs. ; $proof$ = 
void -> assump1: Let's assume that the hardening candlepin happens.; sent8 & assump1 -> int1: the hardening grocery happens.; void -> assump2: Let's assume that the hardening grocery does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hardening candlepin does not occur.; int3 & sent9 -> int4: the festival happens but the hardening candlepin does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__