both the maxillomandibularness and the mastering happens.
sent1: if the adequateness does not occur then not the bifurcating but the spectacles occurs. sent2: the fact that the typographicness does not occur and the controversy does not occur is not right. sent3: if the extragalacticness happens the jugularness does not occur and the knifing does not occur. sent4: the fact that if the mastering does not occur then the programing Schleiden and the lurching Frankfurt happens hold. sent5: if the fact that the bifurcating does not occur hold then that that the typographicness happens and the controversy occurs is true is false. sent6: if the contesting does not occur or the carrot happens or both the bowdlerization does not occur. sent7: that the programing Schleiden occurs hold. sent8: the bowdlerization does not occur if the controversy happens. sent9: if that the easing does not occur hold then the phrasing and the irresponsibleness happens. sent10: the extragalacticness happens if the phrasing occurs. sent11: the controversy does not occur if that the typographicness and the controversy happens is not correct. sent12: the wine does not occur and the rusticating does not occur if that the tingeing does not occur hold. sent13: the contesting does not occur. sent14: if the contesting does not occur the fact that both the lurching Frankfurt and the carrot occurs is wrong. sent15: the bowdlerization does not occur and the maxillomandibularness occurs if the controversy happens. sent16: that the contesting does not occur or the carrot occurs or both is correct if the controversy does not occur. sent17: the fact that if the fact that the amphitheatricness and the non-prosodicness occurs does not hold the adequateness does not occur is not wrong. sent18: if the jugular does not occur that both the amphitheatricness and the non-prosodicness happens does not hold. sent19: that the ease does not occur is caused by that the wine does not occur and the rusticating does not occur. sent20: if the fact that the lurching Frankfurt and the carrot occurs is not right then the lurching Frankfurt does not occur.
void -> assump1: Let's assume that the mastering does not occur.; sent4 & assump1 -> int1: both the programing Schleiden and the lurching Frankfurt occurs.; int1 -> int2: the lurching Frankfurt happens.; sent14 & sent13 -> int3: that both the lurching Frankfurt and the carrot happens is not true.; sent20 & int3 -> int4: that the lurching Frankfurt does not occur is correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the mastering occurs is not wrong.;
that the maxillomandibularness and the mastering happens is wrong.
$hypothesis$ = both the maxillomandibularness and the mastering happens. ; $context$ = sent1: if the adequateness does not occur then not the bifurcating but the spectacles occurs. sent2: the fact that the typographicness does not occur and the controversy does not occur is not right. sent3: if the extragalacticness happens the jugularness does not occur and the knifing does not occur. sent4: the fact that if the mastering does not occur then the programing Schleiden and the lurching Frankfurt happens hold. sent5: if the fact that the bifurcating does not occur hold then that that the typographicness happens and the controversy occurs is true is false. sent6: if the contesting does not occur or the carrot happens or both the bowdlerization does not occur. sent7: that the programing Schleiden occurs hold. sent8: the bowdlerization does not occur if the controversy happens. sent9: if that the easing does not occur hold then the phrasing and the irresponsibleness happens. sent10: the extragalacticness happens if the phrasing occurs. sent11: the controversy does not occur if that the typographicness and the controversy happens is not correct. sent12: the wine does not occur and the rusticating does not occur if that the tingeing does not occur hold. sent13: the contesting does not occur. sent14: if the contesting does not occur the fact that both the lurching Frankfurt and the carrot occurs is wrong. sent15: the bowdlerization does not occur and the maxillomandibularness occurs if the controversy happens. sent16: that the contesting does not occur or the carrot occurs or both is correct if the controversy does not occur. sent17: the fact that if the fact that the amphitheatricness and the non-prosodicness occurs does not hold the adequateness does not occur is not wrong. sent18: if the jugular does not occur that both the amphitheatricness and the non-prosodicness happens does not hold. sent19: that the ease does not occur is caused by that the wine does not occur and the rusticating does not occur. sent20: if the fact that the lurching Frankfurt and the carrot occurs is not right then the lurching Frankfurt does not occur. ; $proof$ = 
void -> assump1: Let's assume that the mastering does not occur.; sent4 & assump1 -> int1: both the programing Schleiden and the lurching Frankfurt occurs.; int1 -> int2: the lurching Frankfurt happens.; sent14 & sent13 -> int3: that both the lurching Frankfurt and the carrot happens is not true.; sent20 & int3 -> int4: that the lurching Frankfurt does not occur is correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the mastering occurs is not wrong.; __UNKNOWN__