that the fact that either the efflorescence does not occur or the lightening does not occur or both is incorrect if the deportation does not occur is wrong.
sent1: the aortalness happens. sent2: the fact that the fact that the efflorescence does not occur and/or the lightening does not occur is false is true if the sacking happens. sent3: the demurrage does not occur but the keylessness happens if the lightening happens. sent4: if the sacking occurs then that the efflorescence happens and/or the lightening does not occur is incorrect. sent5: that the efflorescence does not occur and/or that the lightening does not occur is caused by that the deportation does not occur. sent6: if the sacking occurs then the lightening happens. sent7: that the fact that the tenpins does not occur and/or the ponderableness does not occur is true is incorrect if the kidnapping axle happens. sent8: the flat happens. sent9: the fact that the efflorescence does not occur and/or the lightening does not occur is correct if the sacking occurs. sent10: the fact that the lightening occurs if that the lightening does not occur and the deportation does not occur is incorrect hold. sent11: that the individuating Heterocephalus occurs and the sacking occurs does not hold. sent12: that either the efflorescence occurs or the lightening does not occur or both is not correct if the deportation does not occur. sent13: the deportation occurs if the fact that not the individuating Heterocephalus but the sacking occurs is wrong. sent14: the lightening occurs. sent15: the fact that the efflorescence does not occur and/or the lightening does not occur is false if the deportation occurs. sent16: the efflorescence does not occur if the desquamation happens. sent17: that the lightening does not occur and the deportation does not occur does not hold if the efflorescence does not occur. sent18: that the lightening happens is triggered by that the deportation does not occur. sent19: the individuating Heterocephalus does not occur. sent20: the deportation happens if the individuating Heterocephalus occurs.
void -> assump2: Let's assume that that not the individuating Heterocephalus but the sacking occurs does not hold.; sent13 & assump2 -> int1: the deportation happens.; void -> assump1: Let's assume that the deportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the individuating Heterocephalus but the sacking occurs.; int3 -> int4: the sacking occurs.; sent2 & int4 -> int5: that the efflorescence does not occur and/or the lightening does not occur is not true.; [assump1] & int5 -> hypothesis;
the demurrage does not occur and the keylessness happens.
$hypothesis$ = that the fact that either the efflorescence does not occur or the lightening does not occur or both is incorrect if the deportation does not occur is wrong. ; $context$ = sent1: the aortalness happens. sent2: the fact that the fact that the efflorescence does not occur and/or the lightening does not occur is false is true if the sacking happens. sent3: the demurrage does not occur but the keylessness happens if the lightening happens. sent4: if the sacking occurs then that the efflorescence happens and/or the lightening does not occur is incorrect. sent5: that the efflorescence does not occur and/or that the lightening does not occur is caused by that the deportation does not occur. sent6: if the sacking occurs then the lightening happens. sent7: that the fact that the tenpins does not occur and/or the ponderableness does not occur is true is incorrect if the kidnapping axle happens. sent8: the flat happens. sent9: the fact that the efflorescence does not occur and/or the lightening does not occur is correct if the sacking occurs. sent10: the fact that the lightening occurs if that the lightening does not occur and the deportation does not occur is incorrect hold. sent11: that the individuating Heterocephalus occurs and the sacking occurs does not hold. sent12: that either the efflorescence occurs or the lightening does not occur or both is not correct if the deportation does not occur. sent13: the deportation occurs if the fact that not the individuating Heterocephalus but the sacking occurs is wrong. sent14: the lightening occurs. sent15: the fact that the efflorescence does not occur and/or the lightening does not occur is false if the deportation occurs. sent16: the efflorescence does not occur if the desquamation happens. sent17: that the lightening does not occur and the deportation does not occur does not hold if the efflorescence does not occur. sent18: that the lightening happens is triggered by that the deportation does not occur. sent19: the individuating Heterocephalus does not occur. sent20: the deportation happens if the individuating Heterocephalus occurs. ; $proof$ = 
void -> assump2: Let's assume that that not the individuating Heterocephalus but the sacking occurs does not hold.; sent13 & assump2 -> int1: the deportation happens.; void -> assump1: Let's assume that the deportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the individuating Heterocephalus but the sacking occurs.; int3 -> int4: the sacking occurs.; sent2 & int4 -> int5: that the efflorescence does not occur and/or the lightening does not occur is not true.; [assump1] & int5 -> hypothesis; __DISPROVED__