the awainess does not occur.
sent1: that the birr occurs yields that the digitizing pardon does not occur. sent2: if the millennialness but not the commandment occurs then the translunarness occurs. sent3: the digitizing pardon does not occur if the Elizabethan or the birr or both occurs. sent4: if the anorthiticness happens then that either the lobbing quantization does not occur or the hypnoticness does not occur or both is wrong. sent5: if the fact that the providentness occurs and the lobbing quantization does not occur is not true the millennialness occurs. sent6: the commandment happens. sent7: the providentness does not occur if that the lobbing quantization does not occur and/or the hypnoticness does not occur does not hold. sent8: if the translunarness does not occur then that not the digitizing pardon but the awainess happens does not hold. sent9: if the millennialness happens then the translunarness does not occur but the commandment occurs. sent10: the edging Haida happens if that that the persuasiveness occurs and the digitizing twenty-six does not occur does not hold hold. sent11: the digitizing twenty-six yields the edging Haida. sent12: that the edging Haida occurs prevents the non-Elizabethanness. sent13: the dressing does not occur. sent14: if the dressing does not occur that the persuasiveness happens and the digitizing twenty-six does not occur does not hold. sent15: that the providentness but not the lobbing quantization occurs is not right if the fact that the hypnoticness does not occur is not incorrect. sent16: if that the dressing does not occur hold then that the persuasiveness happens and the digitizing twenty-six occurs is not right. sent17: the hypnoticness does not occur. sent18: if the translunarness occurs not the digitizing pardon but the Elizabethan occurs. sent19: the fact that the providentness and the lobbing quantization occurs does not hold if the hypnoticness does not occur. sent20: if either the edging Haida does not occur or the birr happens or both then the edging Haida does not occur. sent21: the millennialness results in that the commandment occurs. sent22: the fact that both the providentness and the lobbing quantization happens does not hold. sent23: the fact that the persuasiveness occurs and the digitizing twenty-six occurs does not hold. sent24: the millennialness happens if the lobbing quantization happens.
sent14 & sent13 -> int1: that the persuasiveness but not the digitizing twenty-six occurs does not hold.; int1 & sent10 -> int2: the edging Haida happens.; int2 & sent12 -> int3: that the Elizabethan occurs is correct.; int3 -> int4: either the Elizabethan occurs or the birr occurs or both.; int4 & sent3 -> int5: the digitizing pardon does not occur.; void -> assump1: Let's assume that the awainess occurs.; int5 & assump1 -> int6: the fact that the digitizing pardon does not occur but the awainess occurs is correct.; sent15 & sent17 -> int7: the fact that the providentness happens but the lobbing quantization does not occur is not right.; sent5 & int7 -> int8: the millennialness happens.; sent9 & int8 -> int9: not the translunarness but the commandment happens.; int9 -> int10: the translunarness does not occur.; sent8 & int10 -> int11: that the digitizing pardon does not occur but the awainess happens is false.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the awainess happens.
$hypothesis$ = the awainess does not occur. ; $context$ = sent1: that the birr occurs yields that the digitizing pardon does not occur. sent2: if the millennialness but not the commandment occurs then the translunarness occurs. sent3: the digitizing pardon does not occur if the Elizabethan or the birr or both occurs. sent4: if the anorthiticness happens then that either the lobbing quantization does not occur or the hypnoticness does not occur or both is wrong. sent5: if the fact that the providentness occurs and the lobbing quantization does not occur is not true the millennialness occurs. sent6: the commandment happens. sent7: the providentness does not occur if that the lobbing quantization does not occur and/or the hypnoticness does not occur does not hold. sent8: if the translunarness does not occur then that not the digitizing pardon but the awainess happens does not hold. sent9: if the millennialness happens then the translunarness does not occur but the commandment occurs. sent10: the edging Haida happens if that that the persuasiveness occurs and the digitizing twenty-six does not occur does not hold hold. sent11: the digitizing twenty-six yields the edging Haida. sent12: that the edging Haida occurs prevents the non-Elizabethanness. sent13: the dressing does not occur. sent14: if the dressing does not occur that the persuasiveness happens and the digitizing twenty-six does not occur does not hold. sent15: that the providentness but not the lobbing quantization occurs is not right if the fact that the hypnoticness does not occur is not incorrect. sent16: if that the dressing does not occur hold then that the persuasiveness happens and the digitizing twenty-six occurs is not right. sent17: the hypnoticness does not occur. sent18: if the translunarness occurs not the digitizing pardon but the Elizabethan occurs. sent19: the fact that the providentness and the lobbing quantization occurs does not hold if the hypnoticness does not occur. sent20: if either the edging Haida does not occur or the birr happens or both then the edging Haida does not occur. sent21: the millennialness results in that the commandment occurs. sent22: the fact that both the providentness and the lobbing quantization happens does not hold. sent23: the fact that the persuasiveness occurs and the digitizing twenty-six occurs does not hold. sent24: the millennialness happens if the lobbing quantization happens. ; $proof$ = 
sent14 & sent13 -> int1: that the persuasiveness but not the digitizing twenty-six occurs does not hold.; int1 & sent10 -> int2: the edging Haida happens.; int2 & sent12 -> int3: that the Elizabethan occurs is correct.; int3 -> int4: either the Elizabethan occurs or the birr occurs or both.; int4 & sent3 -> int5: the digitizing pardon does not occur.; void -> assump1: Let's assume that the awainess occurs.; int5 & assump1 -> int6: the fact that the digitizing pardon does not occur but the awainess occurs is correct.; sent15 & sent17 -> int7: the fact that the providentness happens but the lobbing quantization does not occur is not right.; sent5 & int7 -> int8: the millennialness happens.; sent9 & int8 -> int9: not the translunarness but the commandment happens.; int9 -> int10: the translunarness does not occur.; sent8 & int10 -> int11: that the digitizing pardon does not occur but the awainess happens is false.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__