if the predicating happens the pelvimetry happens.
sent1: if the tertianness occurs then the questioning happens. sent2: the daisylikeness happens if the uncoiling gasometer happens. sent3: that the punctilio occurs is caused by that the match-up happens. sent4: the Cameroonian occurs. sent5: the twinning happens. sent6: that the myringotomy occurs is correct. sent7: if the bending does not occur then the pelvimetry occurs. sent8: if the Stravinskyanness happens then the sterileness happens. sent9: the unambitiousness occurs. sent10: the poaching does not occur. sent11: the twinning prevents that the uncoiling roulade does not occur. sent12: the uploading scratchpad happens. sent13: the bending does not occur if the predicate occurs. sent14: the tremble occurs. sent15: that if the achondriticness happens the fact that the pronation happens is true is true. sent16: the dactylicness does not occur. sent17: the haranguing umbrage happens if the equineness does not occur. sent18: that the horizontal does not occur is prevented by the Epiphany. sent19: if the uncoiling roulade does not occur the blackout occurs. sent20: the aoristicness occurs.
void -> assump1: Let's assume that the predicate happens.; sent13 & assump1 -> int1: the bending does not occur.; sent7 & int1 -> int2: the pelvimetry occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the predicating happens the pelvimetry happens. ; $context$ = sent1: if the tertianness occurs then the questioning happens. sent2: the daisylikeness happens if the uncoiling gasometer happens. sent3: that the punctilio occurs is caused by that the match-up happens. sent4: the Cameroonian occurs. sent5: the twinning happens. sent6: that the myringotomy occurs is correct. sent7: if the bending does not occur then the pelvimetry occurs. sent8: if the Stravinskyanness happens then the sterileness happens. sent9: the unambitiousness occurs. sent10: the poaching does not occur. sent11: the twinning prevents that the uncoiling roulade does not occur. sent12: the uploading scratchpad happens. sent13: the bending does not occur if the predicate occurs. sent14: the tremble occurs. sent15: that if the achondriticness happens the fact that the pronation happens is true is true. sent16: the dactylicness does not occur. sent17: the haranguing umbrage happens if the equineness does not occur. sent18: that the horizontal does not occur is prevented by the Epiphany. sent19: if the uncoiling roulade does not occur the blackout occurs. sent20: the aoristicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the predicate happens.; sent13 & assump1 -> int1: the bending does not occur.; sent7 & int1 -> int2: the pelvimetry occurs.; [assump1] & int2 -> hypothesis; __PROVED__