that the pelter occurs and the unsurmountableness occurs is not right.
sent1: if the empiricalness happens and/or the bettering occurs then the acuminating does not occur. sent2: that that the acuminating does not occur and the apothecialness occurs does not hold hold. sent3: if the fact that the charioting does not occur and the answering keystone occurs is false then the answering keystone does not occur. sent4: that the betteringness occurs yields that the acuminating does not occur. sent5: that both the pelter and the unsurmountableness occurs is wrong if that the apothecialness does not occur hold. sent6: the chariot and the empiricalness occurs. sent7: that that the cogitating does not occur does not hold is not wrong. sent8: the physicochemicalness does not occur. sent9: the charioting happens.
sent6 -> int1: the empiricalness happens.; int1 -> int2: the empiricalness and/or the bettering occurs.; int2 & sent1 -> int3: the acuminating does not occur.; void -> assump1: Let's assume that the apothecialness occurs.; int3 & assump1 -> int4: not the acuminating but the apothecialness occurs.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the apothecialness does not occur.; int6 & sent5 -> hypothesis;
the answering keystone does not occur and the melanizing thrust happens.
$hypothesis$ = that the pelter occurs and the unsurmountableness occurs is not right. ; $context$ = sent1: if the empiricalness happens and/or the bettering occurs then the acuminating does not occur. sent2: that that the acuminating does not occur and the apothecialness occurs does not hold hold. sent3: if the fact that the charioting does not occur and the answering keystone occurs is false then the answering keystone does not occur. sent4: that the betteringness occurs yields that the acuminating does not occur. sent5: that both the pelter and the unsurmountableness occurs is wrong if that the apothecialness does not occur hold. sent6: the chariot and the empiricalness occurs. sent7: that that the cogitating does not occur does not hold is not wrong. sent8: the physicochemicalness does not occur. sent9: the charioting happens. ; $proof$ = 
sent6 -> int1: the empiricalness happens.; int1 -> int2: the empiricalness and/or the bettering occurs.; int2 & sent1 -> int3: the acuminating does not occur.; void -> assump1: Let's assume that the apothecialness occurs.; int3 & assump1 -> int4: not the acuminating but the apothecialness occurs.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the apothecialness does not occur.; int6 & sent5 -> hypothesis; __PROVED__