the Anglo-catholicness does not occur.
sent1: if the fact that both the jumbling magnification and the punctualness happens does not hold then the punctualness does not occur. sent2: that the Nicaraguanness happens and/or the adjectiveness happens prevents that the Babylonianness happens. sent3: the roentgenographicness does not occur if the hemiparasiticness happens and/or the subtropicalness occurs. sent4: the kvetch does not occur if the fact that the myelography and the kvetch happens is incorrect. sent5: the nonproprietariness but not the bloodlessness happens if the tilt occurs. sent6: the peonage happens. sent7: the hairlessness happens. sent8: the adientness does not occur. sent9: either the peonage occurs or the jumbling Gable occurs or both. sent10: the non-punctualness yields that the tilt and the formulary occurs. sent11: if the lymphangiography happens and/or the bloodlessness occurs then that the Anglo-catholicness does not occur is right. sent12: if the kvetch does not occur then that both the jumbling magnification and the punctualness happens does not hold. sent13: that the hiccupping occurs is not false. sent14: that the hiccup and/or the fair happens results in that the leapfrog does not occur. sent15: the fact that both the myelography and the kvetch happens is not correct if the jumbling pueblo does not occur. sent16: the interlocking scullion occurs. sent17: the choreography occurs. sent18: the lymphangiography happens. sent19: the Anglo-catholicness does not occur if the bloodlessness occurs. sent20: the jumbling pueblo does not occur if the infinitivalness occurs or the personifying basic happens or both.
sent18 -> int1: the lymphangiography happens and/or the bloodlessness happens.; int1 & sent11 -> hypothesis;
the Anglo-catholicness happens.
$hypothesis$ = the Anglo-catholicness does not occur. ; $context$ = sent1: if the fact that both the jumbling magnification and the punctualness happens does not hold then the punctualness does not occur. sent2: that the Nicaraguanness happens and/or the adjectiveness happens prevents that the Babylonianness happens. sent3: the roentgenographicness does not occur if the hemiparasiticness happens and/or the subtropicalness occurs. sent4: the kvetch does not occur if the fact that the myelography and the kvetch happens is incorrect. sent5: the nonproprietariness but not the bloodlessness happens if the tilt occurs. sent6: the peonage happens. sent7: the hairlessness happens. sent8: the adientness does not occur. sent9: either the peonage occurs or the jumbling Gable occurs or both. sent10: the non-punctualness yields that the tilt and the formulary occurs. sent11: if the lymphangiography happens and/or the bloodlessness occurs then that the Anglo-catholicness does not occur is right. sent12: if the kvetch does not occur then that both the jumbling magnification and the punctualness happens does not hold. sent13: that the hiccupping occurs is not false. sent14: that the hiccup and/or the fair happens results in that the leapfrog does not occur. sent15: the fact that both the myelography and the kvetch happens is not correct if the jumbling pueblo does not occur. sent16: the interlocking scullion occurs. sent17: the choreography occurs. sent18: the lymphangiography happens. sent19: the Anglo-catholicness does not occur if the bloodlessness occurs. sent20: the jumbling pueblo does not occur if the infinitivalness occurs or the personifying basic happens or both. ; $proof$ = 
sent18 -> int1: the lymphangiography happens and/or the bloodlessness happens.; int1 & sent11 -> hypothesis; __PROVED__