that that the cardiospasm does not occur is prevented by the myotomy is incorrect.
sent1: that the drinking blasting does not occur brings about the springboard. sent2: the warming commandership occurs. sent3: the frivolousness occurs if the fact that the Jovianness does not occur hold. sent4: the myotomy occurs if the holdout does not occur. sent5: if the fact that the holdout happens is not incorrect that the carbonating chutzpanik does not occur is not incorrect. sent6: the warming ramona happens. sent7: if the carbonating chutzpanik does not occur then the cardiospasm happens. sent8: the nonparametricness does not occur. sent9: if that the warming carrier does not occur is not false the acupuncture does not occur. sent10: that the holdout does not occur prevents that the myotomy happens. sent11: the Celtic happens. sent12: the aeromedicalness occurs. sent13: if that the tightsness does not occur is correct then the opposition occurs. sent14: the dialecticness does not occur if the Noachianness does not occur. sent15: the Croatianness occurs. sent16: that the refresher happens triggers that the metallurgicalness does not occur. sent17: the anasarcousness does not occur. sent18: the drinking Veronese does not occur.
void -> assump2: Let's assume that the myotomy happens.; void -> assump1: Let's assume that the holdout does not occur.; sent10 & assump1 -> int1: the myotomy does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the holdout occurs.; sent5 & int3 -> int4: the carbonating chutzpanik does not occur.; sent7 & int4 -> int5: the fact that the cardiospasm occurs is correct.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that that the cardiospasm does not occur is prevented by the myotomy is incorrect. ; $context$ = sent1: that the drinking blasting does not occur brings about the springboard. sent2: the warming commandership occurs. sent3: the frivolousness occurs if the fact that the Jovianness does not occur hold. sent4: the myotomy occurs if the holdout does not occur. sent5: if the fact that the holdout happens is not incorrect that the carbonating chutzpanik does not occur is not incorrect. sent6: the warming ramona happens. sent7: if the carbonating chutzpanik does not occur then the cardiospasm happens. sent8: the nonparametricness does not occur. sent9: if that the warming carrier does not occur is not false the acupuncture does not occur. sent10: that the holdout does not occur prevents that the myotomy happens. sent11: the Celtic happens. sent12: the aeromedicalness occurs. sent13: if that the tightsness does not occur is correct then the opposition occurs. sent14: the dialecticness does not occur if the Noachianness does not occur. sent15: the Croatianness occurs. sent16: that the refresher happens triggers that the metallurgicalness does not occur. sent17: the anasarcousness does not occur. sent18: the drinking Veronese does not occur. ; $proof$ = 
void -> assump2: Let's assume that the myotomy happens.; void -> assump1: Let's assume that the holdout does not occur.; sent10 & assump1 -> int1: the myotomy does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the holdout occurs.; sent5 & int3 -> int4: the carbonating chutzpanik does not occur.; sent7 & int4 -> int5: the fact that the cardiospasm occurs is correct.; [assump2] & int5 -> hypothesis; __DISPROVED__