the annelidness occurs if the ohmage occurs.
sent1: the hurdling happens if that not the impinging tub-thumper but the impinging atonicity occurs does not hold. sent2: the impinging Broadway occurs if the amenorrheicness occurs. sent3: the staving collected does not occur but the valuing occurs. sent4: the fact that not the impinging Broadway but the frictionlessness occurs is wrong. sent5: if the locomotion happens then the sunray occurs. sent6: not the sunray but the backhanding occurs. sent7: the staving salutation happens if that the non-nectar-richness and the undesirousness occurs does not hold. sent8: the halma occurs. sent9: if the fact that not the oscillation but the bitchery happens is incorrect the impinging antimalarial happens. sent10: if the fact that not the ohmage but the purgatorialness happens does not hold then the annelid happens. sent11: the purgatorialness happens. sent12: the annelidness happens if that the purgatorialness does not occur hold. sent13: the fact that the impinging Cestidae does not occur is correct. sent14: the adornment occurs. sent15: the non-annelidness is prevented by that not the ohmage but the purgatorialness occurs. sent16: that the annelid occurs is right if the fact that that the ohmage and the purgatorialness happens is not wrong is not true. sent17: the Set occurs if the rimlessness occurs. sent18: both the ohmage and the purgatorialness happens. sent19: the excess happens if the fact that the fact that not the crossing but the cupping happens is not correct hold.
void -> assump1: Let's assume that not the ohmage but the purgatorialness happens.; assump1 -> int1: the ohmage does not occur.; void -> assump2: Let's assume that the ohmage happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the ohmage but the purgatorialness happens is not correct.; int3 & sent10 -> int4: the annelid occurs.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the annelidness occurs if the ohmage occurs. ; $context$ = sent1: the hurdling happens if that not the impinging tub-thumper but the impinging atonicity occurs does not hold. sent2: the impinging Broadway occurs if the amenorrheicness occurs. sent3: the staving collected does not occur but the valuing occurs. sent4: the fact that not the impinging Broadway but the frictionlessness occurs is wrong. sent5: if the locomotion happens then the sunray occurs. sent6: not the sunray but the backhanding occurs. sent7: the staving salutation happens if that the non-nectar-richness and the undesirousness occurs does not hold. sent8: the halma occurs. sent9: if the fact that not the oscillation but the bitchery happens is incorrect the impinging antimalarial happens. sent10: if the fact that not the ohmage but the purgatorialness happens does not hold then the annelid happens. sent11: the purgatorialness happens. sent12: the annelidness happens if that the purgatorialness does not occur hold. sent13: the fact that the impinging Cestidae does not occur is correct. sent14: the adornment occurs. sent15: the non-annelidness is prevented by that not the ohmage but the purgatorialness occurs. sent16: that the annelid occurs is right if the fact that that the ohmage and the purgatorialness happens is not wrong is not true. sent17: the Set occurs if the rimlessness occurs. sent18: both the ohmage and the purgatorialness happens. sent19: the excess happens if the fact that the fact that not the crossing but the cupping happens is not correct hold. ; $proof$ = 
void -> assump1: Let's assume that not the ohmage but the purgatorialness happens.; assump1 -> int1: the ohmage does not occur.; void -> assump2: Let's assume that the ohmage happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the ohmage but the purgatorialness happens is not correct.; int3 & sent10 -> int4: the annelid occurs.; [assump2] & int4 -> hypothesis; __PROVED__