that if that the modality occurs is right then the anathematization occurs does not hold.
sent1: the anathematization occurs if the model occurs. sent2: that the scattering occurs and the snips does not occur does not hold if the bunt happens. sent3: the fact that the batting and the model occurs is not right. sent4: if the bird happens then that the practicalness but not the matutinalness happens is not right. sent5: if the unloosing luging occurs then the fact that the investing Physeteridae occurs and the misgiving Hynerpeton does not occur is wrong. sent6: the mount occurs if the investing busywork occurs. sent7: that the pyroelectricness but not the Saturnalia occurs does not hold. sent8: the fact that the batting happens and the modeling occurs is incorrect if the modality happens. sent9: the investing adrenarche occurs. sent10: the postglacialness occurs. sent11: the anathematization happens if that the batting but not the model happens does not hold. sent12: the fact that the celiacness occurs and the practicalness does not occur is wrong. sent13: if the modality happens then that the batting but not the model happens is not correct. sent14: if the fact that the unloosing accelerator but not the itineration occurs does not hold the trachealness occurs.
void -> assump1: Let's assume that the modality happens.; sent13 & assump1 -> int1: the fact that the batting happens and the modeling does not occur is not right.; sent11 & int1 -> int2: the anathematization happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if that the modality occurs is right then the anathematization occurs does not hold. ; $context$ = sent1: the anathematization occurs if the model occurs. sent2: that the scattering occurs and the snips does not occur does not hold if the bunt happens. sent3: the fact that the batting and the model occurs is not right. sent4: if the bird happens then that the practicalness but not the matutinalness happens is not right. sent5: if the unloosing luging occurs then the fact that the investing Physeteridae occurs and the misgiving Hynerpeton does not occur is wrong. sent6: the mount occurs if the investing busywork occurs. sent7: that the pyroelectricness but not the Saturnalia occurs does not hold. sent8: the fact that the batting happens and the modeling occurs is incorrect if the modality happens. sent9: the investing adrenarche occurs. sent10: the postglacialness occurs. sent11: the anathematization happens if that the batting but not the model happens does not hold. sent12: the fact that the celiacness occurs and the practicalness does not occur is wrong. sent13: if the modality happens then that the batting but not the model happens is not correct. sent14: if the fact that the unloosing accelerator but not the itineration occurs does not hold the trachealness occurs. ; $proof$ = 
void -> assump1: Let's assume that the modality happens.; sent13 & assump1 -> int1: the fact that the batting happens and the modeling does not occur is not right.; sent11 & int1 -> int2: the anathematization happens.; [assump1] & int2 -> hypothesis; __DISPROVED__