the manhood does not occur and the jack-o'-lantern does not occur if the fact that the angioplasty happens is true.
sent1: the attrition happens. sent2: the numerating soddy leads to that the numerating ringleader happens and/or that the jack-o'-lantern does not occur. sent3: that both the numerating audience and the numerating stob happens is brought about by that the attrition does not occur. sent4: both the numerating stob and the attrition happens. sent5: the numerating ringleader and/or the jack-o'-lantern happens. sent6: the numerating fluorocarbon happens. sent7: the scotching happens. sent8: if the Italianness does not occur the asphalticness happens and the numerating ringleader occurs. sent9: that the numerating Medford occurs yields that the mucinousness happens. sent10: that the angioplasty does not occur and the manhood does not occur is not right if the jack-o'-lantern occurs. sent11: both the asphalticness and the numerating soddy happens. sent12: the jack-o'-lantern occurs if the numerating soddy does not occur. sent13: the numerating Medford occurs if the numerating stob occurs. sent14: that the numerating soddy occurs leads to the numerating ringleader or that the jack-o'-lantern happens or both. sent15: if the numerating Medford does not occur the fact that both the attrition and the mucinousness occurs is false. sent16: the jack-o'-lantern is prevented by that the numerating ringleader happens or that the jack-o'-lantern does not occur or both. sent17: the asphalticness occurs. sent18: that the manhood does not occur is triggered by that the mucinousness and the angioplasty happens. sent19: the non-Italianness is brought about by that the non-somatosensoryness and the non-forwardness occurs.
sent4 -> int1: the fact that the numerating stob happens hold.; int1 & sent13 -> int2: the numerating Medford happens.; int2 & sent9 -> int3: the mucinousness occurs.; void -> assump1: Let's assume that the angioplasty occurs.; int3 & assump1 -> int4: the mucinousness occurs and the angioplasty happens.; int4 & sent18 -> int5: the manhood does not occur.; sent11 -> int6: the numerating soddy occurs.; sent2 & int6 -> int7: either the numerating ringleader occurs or the jack-o'-lantern does not occur or both.; sent16 & int7 -> int8: the jack-o'-lantern does not occur.; int5 & int8 -> int9: that the manhood does not occur and the jack-o'-lantern does not occur is correct.; [assump1] & int9 -> hypothesis;
the numerating audience occurs.
$hypothesis$ = the manhood does not occur and the jack-o'-lantern does not occur if the fact that the angioplasty happens is true. ; $context$ = sent1: the attrition happens. sent2: the numerating soddy leads to that the numerating ringleader happens and/or that the jack-o'-lantern does not occur. sent3: that both the numerating audience and the numerating stob happens is brought about by that the attrition does not occur. sent4: both the numerating stob and the attrition happens. sent5: the numerating ringleader and/or the jack-o'-lantern happens. sent6: the numerating fluorocarbon happens. sent7: the scotching happens. sent8: if the Italianness does not occur the asphalticness happens and the numerating ringleader occurs. sent9: that the numerating Medford occurs yields that the mucinousness happens. sent10: that the angioplasty does not occur and the manhood does not occur is not right if the jack-o'-lantern occurs. sent11: both the asphalticness and the numerating soddy happens. sent12: the jack-o'-lantern occurs if the numerating soddy does not occur. sent13: the numerating Medford occurs if the numerating stob occurs. sent14: that the numerating soddy occurs leads to the numerating ringleader or that the jack-o'-lantern happens or both. sent15: if the numerating Medford does not occur the fact that both the attrition and the mucinousness occurs is false. sent16: the jack-o'-lantern is prevented by that the numerating ringleader happens or that the jack-o'-lantern does not occur or both. sent17: the asphalticness occurs. sent18: that the manhood does not occur is triggered by that the mucinousness and the angioplasty happens. sent19: the non-Italianness is brought about by that the non-somatosensoryness and the non-forwardness occurs. ; $proof$ = 
sent4 -> int1: the fact that the numerating stob happens hold.; int1 & sent13 -> int2: the numerating Medford happens.; int2 & sent9 -> int3: the mucinousness occurs.; void -> assump1: Let's assume that the angioplasty occurs.; int3 & assump1 -> int4: the mucinousness occurs and the angioplasty happens.; int4 & sent18 -> int5: the manhood does not occur.; sent11 -> int6: the numerating soddy occurs.; sent2 & int6 -> int7: either the numerating ringleader occurs or the jack-o'-lantern does not occur or both.; sent16 & int7 -> int8: the jack-o'-lantern does not occur.; int5 & int8 -> int9: that the manhood does not occur and the jack-o'-lantern does not occur is correct.; [assump1] & int9 -> hypothesis; __PROVED__