the lockup does not occur if the mounding lordolatry occurs.
sent1: the mounding cran does not occur. sent2: the lotto occurs. sent3: that the incorporating and the mounding lordolatry occurs is caused by that the simianness does not occur. sent4: the appropriation happens and the flinging happens. sent5: that the simianness but not the hailing happens is incorrect. sent6: that both the obligatoriness and the mounding lordolatry happens leads to that the lockup does not occur. sent7: the trophoblasticness happens and the extension happens. sent8: if the desexualizing cancroid happens the mounding cran occurs. sent9: the X-ray happens. sent10: the trophoblasticness occurs. sent11: that the faith occurs is brought about by the urticating experimentalism. sent12: the headmastership occurs. sent13: the obligatoriness occurs if the fact that the extension happens is not incorrect. sent14: if the fact that the fact that the simianness occurs but the hail does not occur does not hold is correct the simianness does not occur.
sent7 -> int1: the extension occurs.; sent13 & int1 -> int2: the obligatoriness happens.; void -> assump1: Let's assume that the mounding lordolatry occurs.; int2 & assump1 -> int3: the obligatoriness happens and the mounding lordolatry occurs.; sent6 & int3 -> int4: the lockup does not occur.; [assump1] & int4 -> hypothesis;
the incorporating and the urticating overnighter occurs.
sent14 & sent5 -> int5: the simianness does not occur.; sent3 & int5 -> int6: both the incorporating and the mounding lordolatry happens.; int6 -> int7: the incorporating happens.;
$hypothesis$ = the lockup does not occur if the mounding lordolatry occurs. ; $context$ = sent1: the mounding cran does not occur. sent2: the lotto occurs. sent3: that the incorporating and the mounding lordolatry occurs is caused by that the simianness does not occur. sent4: the appropriation happens and the flinging happens. sent5: that the simianness but not the hailing happens is incorrect. sent6: that both the obligatoriness and the mounding lordolatry happens leads to that the lockup does not occur. sent7: the trophoblasticness happens and the extension happens. sent8: if the desexualizing cancroid happens the mounding cran occurs. sent9: the X-ray happens. sent10: the trophoblasticness occurs. sent11: that the faith occurs is brought about by the urticating experimentalism. sent12: the headmastership occurs. sent13: the obligatoriness occurs if the fact that the extension happens is not incorrect. sent14: if the fact that the fact that the simianness occurs but the hail does not occur does not hold is correct the simianness does not occur. ; $proof$ = 
sent7 -> int1: the extension occurs.; sent13 & int1 -> int2: the obligatoriness happens.; void -> assump1: Let's assume that the mounding lordolatry occurs.; int2 & assump1 -> int3: the obligatoriness happens and the mounding lordolatry occurs.; sent6 & int3 -> int4: the lockup does not occur.; [assump1] & int4 -> hypothesis; __PROVED__