the mesicness happens.
sent1: if the fact that the sublunarness occurs but the specialization does not occur does not hold then the sublunarness does not occur. sent2: that the obliqueness does not occur causes that the publishableness happens and the mesicness occurs. sent3: that both the incorporealness and the non-obliqueness occurs is wrong if the shafting chafing does not occur. sent4: if the existentness does not occur the perpetuating enfranchisement does not occur and the allotropy does not occur. sent5: if both the mesicness and the obliqueness happens the incorporealness does not occur. sent6: if the possession occurs and the defensiveness does not occur then the existentness does not occur. sent7: the oblique happens. sent8: that the sublunarness happens but the specialization does not occur is not correct if the penumbralness happens. sent9: the penumbralness occurs and the bogging Agee happens if the allotropy does not occur. sent10: that the evidentiariness and the non-crucialness occurs is not true if the sublunarness occurs. sent11: the incorporealness happens. sent12: the shafting chafing does not occur if the fact that the crucialness occurs and the evidentiariness happens is false. sent13: that both the crucialness and the evidentiariness occurs is not right if the sublunarness does not occur.
void -> assump1: Let's assume that the mesicness happens.; assump1 & sent7 -> int1: the mesicness occurs and the obliqueness occurs.; int1 & sent5 -> int2: the incorporealness does not occur.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the mesicness happens.
$hypothesis$ = the mesicness happens. ; $context$ = sent1: if the fact that the sublunarness occurs but the specialization does not occur does not hold then the sublunarness does not occur. sent2: that the obliqueness does not occur causes that the publishableness happens and the mesicness occurs. sent3: that both the incorporealness and the non-obliqueness occurs is wrong if the shafting chafing does not occur. sent4: if the existentness does not occur the perpetuating enfranchisement does not occur and the allotropy does not occur. sent5: if both the mesicness and the obliqueness happens the incorporealness does not occur. sent6: if the possession occurs and the defensiveness does not occur then the existentness does not occur. sent7: the oblique happens. sent8: that the sublunarness happens but the specialization does not occur is not correct if the penumbralness happens. sent9: the penumbralness occurs and the bogging Agee happens if the allotropy does not occur. sent10: that the evidentiariness and the non-crucialness occurs is not true if the sublunarness occurs. sent11: the incorporealness happens. sent12: the shafting chafing does not occur if the fact that the crucialness occurs and the evidentiariness happens is false. sent13: that both the crucialness and the evidentiariness occurs is not right if the sublunarness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the mesicness happens.; assump1 & sent7 -> int1: the mesicness occurs and the obliqueness occurs.; int1 & sent5 -> int2: the incorporealness does not occur.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__