that the authorship does not occur is triggered by that the pullulating happens and/or the surgery.
sent1: if the fact that the inducing apocope occurs and the monoeciousness happens does not hold then the monoeciousness does not occur. sent2: the fact that the inducing apocope occurs and the monoeciousness happens is not true if the grating Copernicus does not occur. sent3: the TAT occurs but the nonpayment does not occur if the monoeciousness does not occur. sent4: that the pullulating occurs but the surgery does not occur prevents that the universalisticness happens. sent5: the authorship does not occur if the umbelliferousness happens. sent6: the editorialness does not occur and the undercutting Katsuwonidae does not occur if the crouch does not occur. sent7: if the surgery occurs then the undercutting knock-kneed occurs. sent8: the authorship occurs if either the pullulating happens or the surgery occurs or both. sent9: that the undercutting knock-kneed happens is correct if the pullulating occurs. sent10: that the nonpayment does not occur results in the umbelliferousness or that the authorship does not occur or both. sent11: the authorship occurs. sent12: that the authorship happens is prevented by that the umbelliferousness happens and/or the undercutting knock-kneed happens. sent13: if the undercutting Katsuwonidae does not occur the fact that the inessential does not occur hold. sent14: that the grating Copernicus does not occur and the inducing lobbyism does not occur is caused by the tonic. sent15: that the undercutting knock-kneed happens and the pullulating happens is caused by the essentialness. sent16: the surgery does not occur if the fact that the umbelliferousness occurs is not incorrect.
void -> assump1: Let's assume that the fact that the pullulating or the surgery or both happens is correct.; assump1 & sent9 & sent7 -> int1: that the undercutting knock-kneed happens hold.; int1 -> int2: the umbelliferousness occurs and/or the undercutting knock-kneed occurs.; sent12 & int2 -> int3: the authorship does not occur.; [assump1] & int3 -> hypothesis;
the universalisticness does not occur.
$hypothesis$ = that the authorship does not occur is triggered by that the pullulating happens and/or the surgery. ; $context$ = sent1: if the fact that the inducing apocope occurs and the monoeciousness happens does not hold then the monoeciousness does not occur. sent2: the fact that the inducing apocope occurs and the monoeciousness happens is not true if the grating Copernicus does not occur. sent3: the TAT occurs but the nonpayment does not occur if the monoeciousness does not occur. sent4: that the pullulating occurs but the surgery does not occur prevents that the universalisticness happens. sent5: the authorship does not occur if the umbelliferousness happens. sent6: the editorialness does not occur and the undercutting Katsuwonidae does not occur if the crouch does not occur. sent7: if the surgery occurs then the undercutting knock-kneed occurs. sent8: the authorship occurs if either the pullulating happens or the surgery occurs or both. sent9: that the undercutting knock-kneed happens is correct if the pullulating occurs. sent10: that the nonpayment does not occur results in the umbelliferousness or that the authorship does not occur or both. sent11: the authorship occurs. sent12: that the authorship happens is prevented by that the umbelliferousness happens and/or the undercutting knock-kneed happens. sent13: if the undercutting Katsuwonidae does not occur the fact that the inessential does not occur hold. sent14: that the grating Copernicus does not occur and the inducing lobbyism does not occur is caused by the tonic. sent15: that the undercutting knock-kneed happens and the pullulating happens is caused by the essentialness. sent16: the surgery does not occur if the fact that the umbelliferousness occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pullulating or the surgery or both happens is correct.; assump1 & sent9 & sent7 -> int1: that the undercutting knock-kneed happens hold.; int1 -> int2: the umbelliferousness occurs and/or the undercutting knock-kneed occurs.; sent12 & int2 -> int3: the authorship does not occur.; [assump1] & int3 -> hypothesis; __PROVED__