if the co-option does not occur and the egress does not occur then the bottom-upness does not occur.
sent1: the fact that not the co-option but the egress occurs is false if the bedewing netting happens. sent2: the egress does not occur. sent3: the fact that the internship does not occur and the cuticularness does not occur is false. sent4: the thermoplasticness happens. sent5: the fact that the phalangealness but not the aerologicalness occurs is not right if the bedewing netting does not occur. sent6: if the co-option does not occur but the egress happens the bottom-upness does not occur. sent7: the fact that the viceregalness does not occur and the verbifying galena does not occur is false. sent8: that the co-option occurs and the egress does not occur prevents the bottom-upness. sent9: the fact that that the verbifying Goddard does not occur and the homostylousness does not occur is incorrect if the barring Calycophyllum does not occur is right. sent10: the fact that the bedewing wattmeter does not occur and the mineral does not occur is not correct. sent11: if the syphilitic does not occur that the Italic does not occur and the dip does not occur is false. sent12: the fact that the boldness does not occur but the interpolation occurs is incorrect. sent13: if the bedewing netting does not occur that both the non-phalangealness and the aerologicalness happens does not hold. sent14: if the bedewing netting happens the co-option does not occur and the egress does not occur. sent15: if the barring archiannelid occurs then that the barring hippie does not occur and the unseamanlikeness does not occur is not correct. sent16: the bedewing alcazar does not occur. sent17: the fact that both the non-syphiliticness and the minimalist occurs is incorrect. sent18: the fact that the co-option occurs but the egress does not occur is not correct if the fact that the bedewing netting happens is correct. sent19: if the bedewing netting happens then the fact that the co-option does not occur and the egress does not occur is not right. sent20: the bottom-upness does not occur if that both the non-phalangealness and the non-aerologicalness happens is not correct.
void -> assump1: Let's assume that the co-option does not occur and the egress does not occur.; void -> assump2: Let's assume that the bedewing netting happens.; sent19 & assump2 -> int1: the fact that the co-option does not occur and the egress does not occur does not hold.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the bedewing netting does not occur.;
$hypothesis$ = if the co-option does not occur and the egress does not occur then the bottom-upness does not occur. ; $context$ = sent1: the fact that not the co-option but the egress occurs is false if the bedewing netting happens. sent2: the egress does not occur. sent3: the fact that the internship does not occur and the cuticularness does not occur is false. sent4: the thermoplasticness happens. sent5: the fact that the phalangealness but not the aerologicalness occurs is not right if the bedewing netting does not occur. sent6: if the co-option does not occur but the egress happens the bottom-upness does not occur. sent7: the fact that the viceregalness does not occur and the verbifying galena does not occur is false. sent8: that the co-option occurs and the egress does not occur prevents the bottom-upness. sent9: the fact that that the verbifying Goddard does not occur and the homostylousness does not occur is incorrect if the barring Calycophyllum does not occur is right. sent10: the fact that the bedewing wattmeter does not occur and the mineral does not occur is not correct. sent11: if the syphilitic does not occur that the Italic does not occur and the dip does not occur is false. sent12: the fact that the boldness does not occur but the interpolation occurs is incorrect. sent13: if the bedewing netting does not occur that both the non-phalangealness and the aerologicalness happens does not hold. sent14: if the bedewing netting happens the co-option does not occur and the egress does not occur. sent15: if the barring archiannelid occurs then that the barring hippie does not occur and the unseamanlikeness does not occur is not correct. sent16: the bedewing alcazar does not occur. sent17: the fact that both the non-syphiliticness and the minimalist occurs is incorrect. sent18: the fact that the co-option occurs but the egress does not occur is not correct if the fact that the bedewing netting happens is correct. sent19: if the bedewing netting happens then the fact that the co-option does not occur and the egress does not occur is not right. sent20: the bottom-upness does not occur if that both the non-phalangealness and the non-aerologicalness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the co-option does not occur and the egress does not occur.; void -> assump2: Let's assume that the bedewing netting happens.; sent19 & assump2 -> int1: the fact that the co-option does not occur and the egress does not occur does not hold.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the bedewing netting does not occur.; __UNKNOWN__