that if the elbowing coronary occurs the cautery does not occur is false.
sent1: both the isopteranness and the frolicking pitchfork occurs. sent2: that the cautery does not occur is brought about by that the elbowing coronary occurs and the realigning cruet-stand occurs. sent3: that the cautery does not occur is prevented by that the elbowing coronary occurs and the realigning cruet-stand happens. sent4: that the two-wheelness does not occur is brought about by that both the skincare and the topolatry occurs. sent5: the elimination happens if the bathyalness happens. sent6: if the tuition happens then the bromicness happens. sent7: the realigning cruet-stand occurs and the uncomfortableness occurs. sent8: that the dumpiness occurs is true. sent9: the officializing exabit does not occur. sent10: if the entrapment occurs then the pogrom happens. sent11: the royal happens if both the retrospective and the officializing vibrio happens. sent12: the obligateness occurs if that the uncomfortableness happens but the elbowing coronary does not occur does not hold. sent13: the scrapping and the alabasterness occurs. sent14: the convulsing does not occur if that the HRT occurs is not wrong. sent15: that the frolicking tow occurs leads to that the unexpendableness happens.
void -> assump1: Let's assume that the elbowing coronary occurs.; sent7 -> int1: the realigning cruet-stand happens.; assump1 & int1 -> int2: the elbowing coronary and the realigning cruet-stand occurs.; sent2 & int2 -> int3: the cautery does not occur.; [assump1] & int3 -> hypothesis;
both the obligateness and the self-help occurs.
$hypothesis$ = that if the elbowing coronary occurs the cautery does not occur is false. ; $context$ = sent1: both the isopteranness and the frolicking pitchfork occurs. sent2: that the cautery does not occur is brought about by that the elbowing coronary occurs and the realigning cruet-stand occurs. sent3: that the cautery does not occur is prevented by that the elbowing coronary occurs and the realigning cruet-stand happens. sent4: that the two-wheelness does not occur is brought about by that both the skincare and the topolatry occurs. sent5: the elimination happens if the bathyalness happens. sent6: if the tuition happens then the bromicness happens. sent7: the realigning cruet-stand occurs and the uncomfortableness occurs. sent8: that the dumpiness occurs is true. sent9: the officializing exabit does not occur. sent10: if the entrapment occurs then the pogrom happens. sent11: the royal happens if both the retrospective and the officializing vibrio happens. sent12: the obligateness occurs if that the uncomfortableness happens but the elbowing coronary does not occur does not hold. sent13: the scrapping and the alabasterness occurs. sent14: the convulsing does not occur if that the HRT occurs is not wrong. sent15: that the frolicking tow occurs leads to that the unexpendableness happens. ; $proof$ = 
void -> assump1: Let's assume that the elbowing coronary occurs.; sent7 -> int1: the realigning cruet-stand happens.; assump1 & int1 -> int2: the elbowing coronary and the realigning cruet-stand occurs.; sent2 & int2 -> int3: the cautery does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__