the lockup does not occur.
sent1: if the gastrointestinalness does not occur the fact that the manacling pruning happens is not wrong. sent2: if the woodwork does not occur the adrenalectomy does not occur. sent3: the fineness does not occur if the manacling mount occurs. sent4: that the distempering does not occur causes that the fete occurs. sent5: if the arealness happens and the distemper does not occur then the lockup occurs. sent6: the ebbing payslip happens if the inefficaciousness occurs. sent7: that the fineness does not occur or that the bivariateness happens or both brings about the bivariateness. sent8: if the ebbing payslip happens the fact that the chiropractic happens is not incorrect. sent9: the inefficaciousness occurs if the earthiness occurs. sent10: if the gastrointestinalness does not occur then both the manacling pruning and the ebbing digraph happens. sent11: the manacling pruning is brought about by that the non-gastrointestinalness and the non-fineness happens. sent12: the gastrointestinalness does not occur. sent13: that the screwball does not occur is prevented by that the manacling mount happens. sent14: that the two-hitter does not occur hold. sent15: if the ebbing digraph does not occur that the distempering does not occur and the fete does not occur is not right. sent16: the fact that the manacling pruning happens hold. sent17: if the fact that the iridectomy does not occur and the lockup does not occur is not correct the iridectomy occurs. sent18: that the ebbing digraph does not occur but the bivariateness occurs is brought about by that the manacling pruning does not occur. sent19: the fact that the gastrointestinalness occurs and the manacling pruning happens does not hold if the fineness does not occur. sent20: the screwball does not occur. sent21: if both the lockup and the arealness happens the distemper does not occur. sent22: that both the fete and the ebbing digraph occurs prevents the bivariateness. sent23: the arealness occurs. sent24: either the manacling mount or the screwball or both occurs if the adrenalectomy does not occur. sent25: the fact that the iridectomy does not occur and the lockup does not occur is not correct if the arealness does not occur. sent26: that the woodwork does not occur and the twilight does not occur is caused by the chiropractic. sent27: the miffing does not occur. sent28: that the shagging does not occur triggers that the earthiness and the brightening happens.
void -> assump1: Let's assume that that the lockup happens is not false.; assump1 & sent23 -> int1: the lockup and the arealness occurs.; int1 & sent21 -> int2: the distemper does not occur.; int2 & sent4 -> int3: the fete occurs.; sent10 & sent12 -> int4: the manacling pruning happens and the ebbing digraph occurs.; int4 -> int5: the ebbing digraph happens.; int3 & int5 -> int6: both the fete and the ebbing digraph occurs.; int6 & sent22 -> int7: the bivariateness does not occur.;
the lockup happens.
$hypothesis$ = the lockup does not occur. ; $context$ = sent1: if the gastrointestinalness does not occur the fact that the manacling pruning happens is not wrong. sent2: if the woodwork does not occur the adrenalectomy does not occur. sent3: the fineness does not occur if the manacling mount occurs. sent4: that the distempering does not occur causes that the fete occurs. sent5: if the arealness happens and the distemper does not occur then the lockup occurs. sent6: the ebbing payslip happens if the inefficaciousness occurs. sent7: that the fineness does not occur or that the bivariateness happens or both brings about the bivariateness. sent8: if the ebbing payslip happens the fact that the chiropractic happens is not incorrect. sent9: the inefficaciousness occurs if the earthiness occurs. sent10: if the gastrointestinalness does not occur then both the manacling pruning and the ebbing digraph happens. sent11: the manacling pruning is brought about by that the non-gastrointestinalness and the non-fineness happens. sent12: the gastrointestinalness does not occur. sent13: that the screwball does not occur is prevented by that the manacling mount happens. sent14: that the two-hitter does not occur hold. sent15: if the ebbing digraph does not occur that the distempering does not occur and the fete does not occur is not right. sent16: the fact that the manacling pruning happens hold. sent17: if the fact that the iridectomy does not occur and the lockup does not occur is not correct the iridectomy occurs. sent18: that the ebbing digraph does not occur but the bivariateness occurs is brought about by that the manacling pruning does not occur. sent19: the fact that the gastrointestinalness occurs and the manacling pruning happens does not hold if the fineness does not occur. sent20: the screwball does not occur. sent21: if both the lockup and the arealness happens the distemper does not occur. sent22: that both the fete and the ebbing digraph occurs prevents the bivariateness. sent23: the arealness occurs. sent24: either the manacling mount or the screwball or both occurs if the adrenalectomy does not occur. sent25: the fact that the iridectomy does not occur and the lockup does not occur is not correct if the arealness does not occur. sent26: that the woodwork does not occur and the twilight does not occur is caused by the chiropractic. sent27: the miffing does not occur. sent28: that the shagging does not occur triggers that the earthiness and the brightening happens. ; $proof$ = 
void -> assump1: Let's assume that that the lockup happens is not false.; assump1 & sent23 -> int1: the lockup and the arealness occurs.; int1 & sent21 -> int2: the distemper does not occur.; int2 & sent4 -> int3: the fete occurs.; sent10 & sent12 -> int4: the manacling pruning happens and the ebbing digraph occurs.; int4 -> int5: the ebbing digraph happens.; int3 & int5 -> int6: both the fete and the ebbing digraph occurs.; int6 & sent22 -> int7: the bivariateness does not occur.; __UNKNOWN__