the foothold occurs.
sent1: the blastodermaticness occurs. sent2: if the fact that the aftershock does not occur but the worsting happens is not correct the wobbling coyness occurs. sent3: the wobbling potage does not occur and the unretentiveness happens. sent4: if the fact that the clouding deism does not occur but the clouding sorbate occurs is not right then the clouding sorbate does not occur. sent5: if the clouding sorbate happens then the wobbling coyness does not occur. sent6: that not the caterwaul but the ferreting Oxonian occurs brings about that the affectedness happens. sent7: the wobbling file does not occur if the fact that the slogging does not occur and the clouding dogwatch does not occur is not correct. sent8: the clouding sorbate occurs. sent9: that the nestling happens is not wrong. sent10: the fact that that the foothold does not occur is prevented by that not the aftershock but the worsted happens is correct. sent11: the consisting happens if the clouding antefix does not occur and the considerateness happens. sent12: the wobbling coyness is brought about by the non-worstedness. sent13: that not the clouding deism but the clouding sorbate occurs is not correct if the nomotheticness occurs. sent14: that both the nomotheticness and the seiche happens is triggered by that the wobbling file does not occur. sent15: the empiricness happens if the violentness and the wobbling holocephalan occurs. sent16: the worsting occurs.
void -> assump1: Let's assume that the fact that the aftershock does not occur and the worstedness occurs does not hold.; sent2 & assump1 -> int1: the wobbling coyness occurs.; sent5 & sent8 -> int2: the wobbling coyness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the aftershock does not occur and the worsted happens hold.; int4 & sent10 -> hypothesis;
the foothold does not occur.
$hypothesis$ = the foothold occurs. ; $context$ = sent1: the blastodermaticness occurs. sent2: if the fact that the aftershock does not occur but the worsting happens is not correct the wobbling coyness occurs. sent3: the wobbling potage does not occur and the unretentiveness happens. sent4: if the fact that the clouding deism does not occur but the clouding sorbate occurs is not right then the clouding sorbate does not occur. sent5: if the clouding sorbate happens then the wobbling coyness does not occur. sent6: that not the caterwaul but the ferreting Oxonian occurs brings about that the affectedness happens. sent7: the wobbling file does not occur if the fact that the slogging does not occur and the clouding dogwatch does not occur is not correct. sent8: the clouding sorbate occurs. sent9: that the nestling happens is not wrong. sent10: the fact that that the foothold does not occur is prevented by that not the aftershock but the worsted happens is correct. sent11: the consisting happens if the clouding antefix does not occur and the considerateness happens. sent12: the wobbling coyness is brought about by the non-worstedness. sent13: that not the clouding deism but the clouding sorbate occurs is not correct if the nomotheticness occurs. sent14: that both the nomotheticness and the seiche happens is triggered by that the wobbling file does not occur. sent15: the empiricness happens if the violentness and the wobbling holocephalan occurs. sent16: the worsting occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aftershock does not occur and the worstedness occurs does not hold.; sent2 & assump1 -> int1: the wobbling coyness occurs.; sent5 & sent8 -> int2: the wobbling coyness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the aftershock does not occur and the worsted happens hold.; int4 & sent10 -> hypothesis; __PROVED__