if the Altaicness happens the syntacticness does not occur and/or the drinking occurs.
sent1: if the Altaicness occurs the syntacticness or the drinking or both occurs. sent2: the unveiling does not occur and the meeting mu happens. sent3: the meeting oxytocic yields the non-acceptiveness and/or the overstraining. sent4: the nosing bunk happens. sent5: the non-Altaicness is brought about by that not the syntacticness but the drinking happens. sent6: the golfing occurs and/or the propositioning occurs if the seeking ballyhoo occurs. sent7: the approaching does not occur but the nosing bunk happens. sent8: if the meeting Christian happens but the approach does not occur then the lockup happens. sent9: the shucking does not occur if the clozeness but not the doweling occurs. sent10: the syntacticness occurs. sent11: if the Altaic occurs but the meeting Christian does not occur then the syntacticness does not occur. sent12: if the meeting Christian happens then the approach happens. sent13: the spoliation happens. sent14: the syntacticness or the drinking or both occurs. sent15: the strangling happens. sent16: if the properness happens then the non-bidirectionalness or the apocrineness or both happens. sent17: the convoying occurs. sent18: the syntacticness is brought about by that the Altaic occurs and the meeting Christian does not occur. sent19: if both the nosing supervision and the non-meagerness happens the tabularness does not occur.
void -> assump1: Let's assume that the meeting Christian occurs.; sent12 & assump1 -> int1: the approaching occurs.; sent7 -> int2: the approach does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the meeting Christian does not occur.; void -> assump2: Let's assume that the Altaic happens.; int4 & assump2 -> int5: the Altaicness but not the meeting Christian happens.; int5 & sent11 -> int6: the syntacticness does not occur.; int6 -> int7: the syntacticness does not occur and/or the drinking occurs.; [assump2] & int7 -> hypothesis;
the fact that the lockup occurs is not incorrect.
$hypothesis$ = if the Altaicness happens the syntacticness does not occur and/or the drinking occurs. ; $context$ = sent1: if the Altaicness occurs the syntacticness or the drinking or both occurs. sent2: the unveiling does not occur and the meeting mu happens. sent3: the meeting oxytocic yields the non-acceptiveness and/or the overstraining. sent4: the nosing bunk happens. sent5: the non-Altaicness is brought about by that not the syntacticness but the drinking happens. sent6: the golfing occurs and/or the propositioning occurs if the seeking ballyhoo occurs. sent7: the approaching does not occur but the nosing bunk happens. sent8: if the meeting Christian happens but the approach does not occur then the lockup happens. sent9: the shucking does not occur if the clozeness but not the doweling occurs. sent10: the syntacticness occurs. sent11: if the Altaic occurs but the meeting Christian does not occur then the syntacticness does not occur. sent12: if the meeting Christian happens then the approach happens. sent13: the spoliation happens. sent14: the syntacticness or the drinking or both occurs. sent15: the strangling happens. sent16: if the properness happens then the non-bidirectionalness or the apocrineness or both happens. sent17: the convoying occurs. sent18: the syntacticness is brought about by that the Altaic occurs and the meeting Christian does not occur. sent19: if both the nosing supervision and the non-meagerness happens the tabularness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the meeting Christian occurs.; sent12 & assump1 -> int1: the approaching occurs.; sent7 -> int2: the approach does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the meeting Christian does not occur.; void -> assump2: Let's assume that the Altaic happens.; int4 & assump2 -> int5: the Altaicness but not the meeting Christian happens.; int5 & sent11 -> int6: the syntacticness does not occur.; int6 -> int7: the syntacticness does not occur and/or the drinking occurs.; [assump2] & int7 -> hypothesis; __PROVED__