the atheroscleroticness does not occur.
sent1: if the fact that the curtsy and the atheroscleroticness occurs is not true the atheroscleroticness does not occur. sent2: the demoticness does not occur if the fact that the demoticness happens but the identifying lapidary does not occur is not true. sent3: if the combination does not occur that the Chinook and the non-anadromousness occurs is wrong. sent4: if that the demoticness does not occur is right then the fact that that not the astringing holder but the venography occurs is not wrong is not true. sent5: the combination is prevented by that the rabbetting Gorgonocephalus does not occur and the labial does not occur. sent6: both the calisthenicness and the orchotomy occurs if that the choking does not occur hold. sent7: if that the astringing configuration does not occur hold that both the curtsy and the atheroscleroticness occurs is false. sent8: that the astringing configuration occurs brings about that the apopempticness does not occur and/or the curing occurs. sent9: the astringing configuration happens. sent10: if the astringing configuration occurs then either the apopempticness occurs or the curing happens or both. sent11: that the apopempticness happens hold. sent12: either the apopempticness or the curing or both occurs. sent13: the cloudiness is prevented by either that the pluralism does not occur or that the vocation happens or both. sent14: the departure does not occur if that the uplift does not occur but the identifying technical occurs is not correct. sent15: if the curtsying does not occur then the fact that either the non-apopempticness or the curing or both happens is not right. sent16: that the demoticness happens and the identifying lapidary does not occur is not right if the departure does not occur. sent17: the apopempticness happens if the curtsy does not occur. sent18: the astringing configuration does not occur if that the astringing holder does not occur but the venography occurs is incorrect. sent19: the fact that the uplifting does not occur but the identifying technical happens does not hold if the cloudiness does not occur. sent20: if the calisthenicness happens the rabbetting Gorgonocephalus does not occur and the labialness does not occur. sent21: if that the Chinook and the non-anadromousness occurs is not right then that the vocation occurs is correct. sent22: if the curtsy occurs the atheroscleroticness happens.
void -> assump1: Let's assume that the curtsy does not occur.; sent15 & assump1 -> int1: the fact that either the apopempticness does not occur or the curing happens or both is incorrect.; sent8 & sent9 -> int2: the apopempticness does not occur and/or the curing happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the curtsying occurs.; int4 & sent22 -> hypothesis;
the atheroscleroticness does not occur.
$hypothesis$ = the atheroscleroticness does not occur. ; $context$ = sent1: if the fact that the curtsy and the atheroscleroticness occurs is not true the atheroscleroticness does not occur. sent2: the demoticness does not occur if the fact that the demoticness happens but the identifying lapidary does not occur is not true. sent3: if the combination does not occur that the Chinook and the non-anadromousness occurs is wrong. sent4: if that the demoticness does not occur is right then the fact that that not the astringing holder but the venography occurs is not wrong is not true. sent5: the combination is prevented by that the rabbetting Gorgonocephalus does not occur and the labial does not occur. sent6: both the calisthenicness and the orchotomy occurs if that the choking does not occur hold. sent7: if that the astringing configuration does not occur hold that both the curtsy and the atheroscleroticness occurs is false. sent8: that the astringing configuration occurs brings about that the apopempticness does not occur and/or the curing occurs. sent9: the astringing configuration happens. sent10: if the astringing configuration occurs then either the apopempticness occurs or the curing happens or both. sent11: that the apopempticness happens hold. sent12: either the apopempticness or the curing or both occurs. sent13: the cloudiness is prevented by either that the pluralism does not occur or that the vocation happens or both. sent14: the departure does not occur if that the uplift does not occur but the identifying technical occurs is not correct. sent15: if the curtsying does not occur then the fact that either the non-apopempticness or the curing or both happens is not right. sent16: that the demoticness happens and the identifying lapidary does not occur is not right if the departure does not occur. sent17: the apopempticness happens if the curtsy does not occur. sent18: the astringing configuration does not occur if that the astringing holder does not occur but the venography occurs is incorrect. sent19: the fact that the uplifting does not occur but the identifying technical happens does not hold if the cloudiness does not occur. sent20: if the calisthenicness happens the rabbetting Gorgonocephalus does not occur and the labialness does not occur. sent21: if that the Chinook and the non-anadromousness occurs is not right then that the vocation occurs is correct. sent22: if the curtsy occurs the atheroscleroticness happens. ; $proof$ = 
void -> assump1: Let's assume that the curtsy does not occur.; sent15 & assump1 -> int1: the fact that either the apopempticness does not occur or the curing happens or both is incorrect.; sent8 & sent9 -> int2: the apopempticness does not occur and/or the curing happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the curtsying occurs.; int4 & sent22 -> hypothesis; __DISPROVED__