if the permanent does not occur the governorship happens and the exploitation occurs.
sent1: the fact that the fact that the exploitation does not occur but the permanent happens is true does not hold. sent2: the reddening earth-goddess occurs and the printing occurs. sent3: the fact that the spinning does not occur is right. sent4: that the retorting happens is not wrong. sent5: that the governorship happens and the onness happens is not incorrect if the spinning does not occur. sent6: the onness happens if that the spinning does not occur is correct. sent7: the fact that the exploitation does not occur and the permanentness does not occur is incorrect. sent8: both the governorship and the exploitation occurs if the permanent occurs. sent9: the onness occurs.
void -> assump2: Let's assume that the exploitation does not occur.; void -> assump1: Let's assume that the permanentness does not occur.; assump2 & assump1 -> int1: the exploitation does not occur and the permanent does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the exploitation occurs is not false.; sent5 & sent3 -> int4: both the governorship and the onness occurs.; int4 -> int5: the governorship happens.; int3 & int5 -> int6: the governorship and the exploitation occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the permanent does not occur the governorship happens and the exploitation occurs. ; $context$ = sent1: the fact that the fact that the exploitation does not occur but the permanent happens is true does not hold. sent2: the reddening earth-goddess occurs and the printing occurs. sent3: the fact that the spinning does not occur is right. sent4: that the retorting happens is not wrong. sent5: that the governorship happens and the onness happens is not incorrect if the spinning does not occur. sent6: the onness happens if that the spinning does not occur is correct. sent7: the fact that the exploitation does not occur and the permanentness does not occur is incorrect. sent8: both the governorship and the exploitation occurs if the permanent occurs. sent9: the onness occurs. ; $proof$ = 
void -> assump2: Let's assume that the exploitation does not occur.; void -> assump1: Let's assume that the permanentness does not occur.; assump2 & assump1 -> int1: the exploitation does not occur and the permanent does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the exploitation occurs is not false.; sent5 & sent3 -> int4: both the governorship and the onness occurs.; int4 -> int5: the governorship happens.; int3 & int5 -> int6: the governorship and the exploitation occurs.; [assump1] & int6 -> hypothesis; __PROVED__