the lagging Pagellus does not occur.
sent1: the fact that the choking does not occur and the skit does not occur is false. sent2: the fact that the blaspheming Spica occurs hold if that the bleating occurs hold. sent3: the octalness does not occur. sent4: if the encounter does not occur then the fact that the exocentricness but not the resurvey occurs is not true. sent5: that the idleness but not the meatiness occurs is false. sent6: the fact that the devolution happens but the shaping does not occur is wrong. sent7: that the dolichocephalicness happens and the Byzantine happens brings about that the lagging Pagellus does not occur. sent8: the dolichocephalic occurs if that the affairs does not occur and the dissolve does not occur is not correct. sent9: the Byzantine does not occur. sent10: that the antheridialness does not occur is wrong. sent11: that the high-tensionness occurs is true. sent12: if the egging does not occur then that not the lullaby but the particularization occurs does not hold. sent13: if the Byzantineness does not occur the fact that the affairs does not occur and the dissolve does not occur does not hold. sent14: that the retractileness and the seeking happens is wrong. sent15: the lagging Pagellus happens if the dolichocephalicness happens. sent16: the fact that the surprising berth occurs is true. sent17: that the antheridialness occurs is brought about by that the Hungarian occurs. sent18: if the triumphalness does not occur that the vasectomy and the non-ferialness happens is incorrect. sent19: that the fact that both the non-Gauguinesqueness and the mixture happens hold is false if the flexure does not occur. sent20: if the baptism occurs then the usefulness occurs.
sent13 & sent9 -> int1: that the affairs does not occur and the dissolving does not occur does not hold.; sent8 & int1 -> int2: the fact that the dolichocephalicness occurs is not false.; sent15 & int2 -> hypothesis;
the fact that the lagging Pagellus does not occur hold.
$hypothesis$ = the lagging Pagellus does not occur. ; $context$ = sent1: the fact that the choking does not occur and the skit does not occur is false. sent2: the fact that the blaspheming Spica occurs hold if that the bleating occurs hold. sent3: the octalness does not occur. sent4: if the encounter does not occur then the fact that the exocentricness but not the resurvey occurs is not true. sent5: that the idleness but not the meatiness occurs is false. sent6: the fact that the devolution happens but the shaping does not occur is wrong. sent7: that the dolichocephalicness happens and the Byzantine happens brings about that the lagging Pagellus does not occur. sent8: the dolichocephalic occurs if that the affairs does not occur and the dissolve does not occur is not correct. sent9: the Byzantine does not occur. sent10: that the antheridialness does not occur is wrong. sent11: that the high-tensionness occurs is true. sent12: if the egging does not occur then that not the lullaby but the particularization occurs does not hold. sent13: if the Byzantineness does not occur the fact that the affairs does not occur and the dissolve does not occur does not hold. sent14: that the retractileness and the seeking happens is wrong. sent15: the lagging Pagellus happens if the dolichocephalicness happens. sent16: the fact that the surprising berth occurs is true. sent17: that the antheridialness occurs is brought about by that the Hungarian occurs. sent18: if the triumphalness does not occur that the vasectomy and the non-ferialness happens is incorrect. sent19: that the fact that both the non-Gauguinesqueness and the mixture happens hold is false if the flexure does not occur. sent20: if the baptism occurs then the usefulness occurs. ; $proof$ = 
sent13 & sent9 -> int1: that the affairs does not occur and the dissolving does not occur does not hold.; sent8 & int1 -> int2: the fact that the dolichocephalicness occurs is not false.; sent15 & int2 -> hypothesis; __DISPROVED__