if the clampdown occurs then either the dealings does not occur or the enskying affliction occurs or both.
sent1: if the exalting kitbag does not occur then the anatomy does not occur and the bane occurs. sent2: not the septation but the dealings happens if the enskying affliction occurs. sent3: the dealings occurs and/or the enskying affliction occurs if the clampdown occurs. sent4: if the anatomy does not occur the fact that the scoffing dramatization does not occur and the blowing does not occur is not correct. sent5: the exalting hooker yields that the enskying affliction occurs. sent6: the exalting angelology does not occur if the ungualness or the planetalness or both happens. sent7: the dealings and/or the enskying affliction occurs. sent8: the blow happens if the fact that the fact that the scoffing dramatization does not occur and the blow does not occur is incorrect is not incorrect. sent9: the dealings happens. sent10: if that the blowing occurs is not incorrect then either the autacoidalness does not occur or the scoffing rail-splitter does not occur or both. sent11: if the extinctness does not occur then both the exalting hooker and the arborealness happens. sent12: the dealings does not occur if the fact that the septation occurs is not wrong. sent13: that the septation happens and/or the clampdown results in the dealings. sent14: the slave is prevented by that the septation does not occur and/or the clampdown happens.
void -> assump1: Let's assume that the clampdown occurs.; assump1 -> int1: the septation occurs or the clampdown happens or both.;
the slaving does not occur.
$hypothesis$ = if the clampdown occurs then either the dealings does not occur or the enskying affliction occurs or both. ; $context$ = sent1: if the exalting kitbag does not occur then the anatomy does not occur and the bane occurs. sent2: not the septation but the dealings happens if the enskying affliction occurs. sent3: the dealings occurs and/or the enskying affliction occurs if the clampdown occurs. sent4: if the anatomy does not occur the fact that the scoffing dramatization does not occur and the blowing does not occur is not correct. sent5: the exalting hooker yields that the enskying affliction occurs. sent6: the exalting angelology does not occur if the ungualness or the planetalness or both happens. sent7: the dealings and/or the enskying affliction occurs. sent8: the blow happens if the fact that the fact that the scoffing dramatization does not occur and the blow does not occur is incorrect is not incorrect. sent9: the dealings happens. sent10: if that the blowing occurs is not incorrect then either the autacoidalness does not occur or the scoffing rail-splitter does not occur or both. sent11: if the extinctness does not occur then both the exalting hooker and the arborealness happens. sent12: the dealings does not occur if the fact that the septation occurs is not wrong. sent13: that the septation happens and/or the clampdown results in the dealings. sent14: the slave is prevented by that the septation does not occur and/or the clampdown happens. ; $proof$ = 
void -> assump1: Let's assume that the clampdown occurs.; assump1 -> int1: the septation occurs or the clampdown happens or both.; __UNKNOWN__