the trisecting cowhide does not occur.
sent1: if that the pyelography happens hold the tarsalness does not occur. sent2: the allomorphicness happens. sent3: if the ripple occurs then the recombining happens. sent4: that the trisecting ethnic and/or the pyelography happens prevents the tarsal. sent5: the similarness but not the pyelography occurs if the macerativeness happens. sent6: the trisecting ethnic occurs if the cession happens. sent7: if the fact that the plantalness does not occur and the sparging HMO does not occur is false the clinking does not occur. sent8: the updating portability occurs and/or the plop occurs. sent9: the nightwork does not occur and the speaking leaf-miner does not occur if the clinking does not occur. sent10: that the plantalness does not occur and the sparging HMO does not occur is not true if the allomorphicness happens. sent11: the cession leads to the trisecting cowhide. sent12: that either the recombining or the reviving or both happens brings about the non-operationalistness. sent13: either the tunelessness or the descant or both occurs. sent14: the trisecting cowhide does not occur if the similarness does not occur. sent15: the fact that the similarness occurs and the macerativeness occurs is incorrect if the tarsal does not occur. sent16: if the fact that both the abdominal and the Elizabethanness occurs is not right then the cutting does not occur. sent17: if the word happens then the trisecting ethnic occurs. sent18: the trisecting cowhide does not occur if the fact that the similarness occurs and the macerativeness occurs does not hold. sent19: the macerativeness happens if the recombining happens. sent20: if the nightwork does not occur then the ripple and/or the inhumaneness happens. sent21: the cession occurs or the word occurs or both.
sent21 & sent6 & sent17 -> int1: the trisecting ethnic occurs.; int1 -> int2: either the trisecting ethnic occurs or the pyelography happens or both.; sent4 & int2 -> int3: the tarsalness does not occur.; sent15 & int3 -> int4: the fact that the similarness happens and the macerativeness happens is wrong.; sent18 & int4 -> hypothesis;
the trisecting cowhide occurs.
sent10 & sent2 -> int5: the fact that the plantalness does not occur and the sparging HMO does not occur is not right.; sent7 & int5 -> int6: the clinking does not occur.; sent9 & int6 -> int7: the nightwork does not occur and the speaking leaf-miner does not occur.; int7 -> int8: the nightwork does not occur.; sent20 & int8 -> int9: either the ripple occurs or the inhumaneness occurs or both.;
$hypothesis$ = the trisecting cowhide does not occur. ; $context$ = sent1: if that the pyelography happens hold the tarsalness does not occur. sent2: the allomorphicness happens. sent3: if the ripple occurs then the recombining happens. sent4: that the trisecting ethnic and/or the pyelography happens prevents the tarsal. sent5: the similarness but not the pyelography occurs if the macerativeness happens. sent6: the trisecting ethnic occurs if the cession happens. sent7: if the fact that the plantalness does not occur and the sparging HMO does not occur is false the clinking does not occur. sent8: the updating portability occurs and/or the plop occurs. sent9: the nightwork does not occur and the speaking leaf-miner does not occur if the clinking does not occur. sent10: that the plantalness does not occur and the sparging HMO does not occur is not true if the allomorphicness happens. sent11: the cession leads to the trisecting cowhide. sent12: that either the recombining or the reviving or both happens brings about the non-operationalistness. sent13: either the tunelessness or the descant or both occurs. sent14: the trisecting cowhide does not occur if the similarness does not occur. sent15: the fact that the similarness occurs and the macerativeness occurs is incorrect if the tarsal does not occur. sent16: if the fact that both the abdominal and the Elizabethanness occurs is not right then the cutting does not occur. sent17: if the word happens then the trisecting ethnic occurs. sent18: the trisecting cowhide does not occur if the fact that the similarness occurs and the macerativeness occurs does not hold. sent19: the macerativeness happens if the recombining happens. sent20: if the nightwork does not occur then the ripple and/or the inhumaneness happens. sent21: the cession occurs or the word occurs or both. ; $proof$ = 
sent21 & sent6 & sent17 -> int1: the trisecting ethnic occurs.; int1 -> int2: either the trisecting ethnic occurs or the pyelography happens or both.; sent4 & int2 -> int3: the tarsalness does not occur.; sent15 & int3 -> int4: the fact that the similarness happens and the macerativeness happens is wrong.; sent18 & int4 -> hypothesis; __PROVED__