that not the meaning Yucatan but the rupture happens is not right if that the posturalness does not occur is not incorrect.
sent1: the meaning Yucatan does not occur. sent2: the armlessness happens. sent3: the channeling does not occur if that the meaning Yucatan occurs and the channeling occurs is not right. sent4: if the literalness does not occur the fact that not the Chinese but the flatsness happens does not hold. sent5: the poling menhaden occurs. sent6: that the gonging umlaut does not occur but the quintupling happens is not correct if the cannulation does not occur. sent7: if the posturalness occurs then that not the meaning Yucatan but the rupture happens is wrong. sent8: that both the posturalness and the rupture occurs is wrong. sent9: if the posturalness does not occur then that the meaning Yucatan occurs and the rupture happens is incorrect. sent10: if that the poling Sylvilagus does not occur and the nascentness does not occur is not true the poling Sylvilagus happens. sent11: the fact that the meaning buckshot does not occur and the Anglophobicness occurs is not right if the roughness does not occur. sent12: that the meaning Yucatan and the channeling happens does not hold if that the rupture does not occur is not incorrect. sent13: if the tortiousness does not occur the fact that the effacement does not occur and the meaning palette happens is incorrect. sent14: the fact that the meaning Yucatan occurs and the rupture occurs is not true. sent15: if the poling Sylvilagus happens not the rupture but the posturalness happens. sent16: the non-posturalness leads to that the meaning Yucatan does not occur and the rupture occurs. sent17: the fact that not the posturalness but the rupture happens is wrong.
void -> assump1: Let's assume that that not the meaning Yucatan but the rupture occurs hold.; assump1 -> int1: the rupture happens.; void -> assump2: Let's assume that the posturalness does not occur.; int1 & assump2 -> int2: the posturalness does not occur and the rupture occurs.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the meaning Yucatan does not occur but the rupture happens is wrong.; [assump2] & int4 -> hypothesis;
the channeling does not occur.
$hypothesis$ = that not the meaning Yucatan but the rupture happens is not right if that the posturalness does not occur is not incorrect. ; $context$ = sent1: the meaning Yucatan does not occur. sent2: the armlessness happens. sent3: the channeling does not occur if that the meaning Yucatan occurs and the channeling occurs is not right. sent4: if the literalness does not occur the fact that not the Chinese but the flatsness happens does not hold. sent5: the poling menhaden occurs. sent6: that the gonging umlaut does not occur but the quintupling happens is not correct if the cannulation does not occur. sent7: if the posturalness occurs then that not the meaning Yucatan but the rupture happens is wrong. sent8: that both the posturalness and the rupture occurs is wrong. sent9: if the posturalness does not occur then that the meaning Yucatan occurs and the rupture happens is incorrect. sent10: if that the poling Sylvilagus does not occur and the nascentness does not occur is not true the poling Sylvilagus happens. sent11: the fact that the meaning buckshot does not occur and the Anglophobicness occurs is not right if the roughness does not occur. sent12: that the meaning Yucatan and the channeling happens does not hold if that the rupture does not occur is not incorrect. sent13: if the tortiousness does not occur the fact that the effacement does not occur and the meaning palette happens is incorrect. sent14: the fact that the meaning Yucatan occurs and the rupture occurs is not true. sent15: if the poling Sylvilagus happens not the rupture but the posturalness happens. sent16: the non-posturalness leads to that the meaning Yucatan does not occur and the rupture occurs. sent17: the fact that not the posturalness but the rupture happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that that not the meaning Yucatan but the rupture occurs hold.; assump1 -> int1: the rupture happens.; void -> assump2: Let's assume that the posturalness does not occur.; int1 & assump2 -> int2: the posturalness does not occur and the rupture occurs.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the meaning Yucatan does not occur but the rupture happens is wrong.; [assump2] & int4 -> hypothesis; __PROVED__