if the nonoperationalness happens then the fact that the casting Abecedarian does not occur hold.
sent1: the coarctation or the straight-arm or both occurs. sent2: the jitter does not occur. sent3: the nonoperationalness does not occur if the disparagement occurs. sent4: if that either the whipping happens or the reading occurs or both hold then the unpresidentialness does not occur. sent5: if the decompression happens that the nonoperationalness and/or the non-myelicness happens is not wrong. sent6: the prostateness causes that the nip occurs. sent7: if the casting Abecedarian happens and/or the disparagement happens then the nonoperationalness happens. sent8: the casting pteridologist happens. sent9: the proconsularness occurs. sent10: the fact that the tensionalness does not occur is true. sent11: that the flagellation does not occur is prevented by that the patellarness happens.
void -> assump1: Let's assume that the casting Abecedarian happens.; assump1 -> int1: the casting Abecedarian occurs or the disparagement occurs or both.;
the might-have-been does not occur.
$hypothesis$ = if the nonoperationalness happens then the fact that the casting Abecedarian does not occur hold. ; $context$ = sent1: the coarctation or the straight-arm or both occurs. sent2: the jitter does not occur. sent3: the nonoperationalness does not occur if the disparagement occurs. sent4: if that either the whipping happens or the reading occurs or both hold then the unpresidentialness does not occur. sent5: if the decompression happens that the nonoperationalness and/or the non-myelicness happens is not wrong. sent6: the prostateness causes that the nip occurs. sent7: if the casting Abecedarian happens and/or the disparagement happens then the nonoperationalness happens. sent8: the casting pteridologist happens. sent9: the proconsularness occurs. sent10: the fact that the tensionalness does not occur is true. sent11: that the flagellation does not occur is prevented by that the patellarness happens. ; $proof$ = 
void -> assump1: Let's assume that the casting Abecedarian happens.; assump1 -> int1: the casting Abecedarian occurs or the disparagement occurs or both.; __UNKNOWN__