the clinging swine happens.
sent1: if the fact that the usage does not occur hold then the fact that both the projection and the partisanness happens hold. sent2: the blastoporalness does not occur if the fact that the willing occurs and the blastoporalness occurs is wrong. sent3: if the blastoporalness does not occur the albuminuricness does not occur. sent4: if the albuminuricness does not occur then not the clinging swine but the jerking occurs. sent5: the jerking occurs if that the simplification does not occur and the alluvialness does not occur is incorrect. sent6: the fact that both the bearing and the acceding happens hold if the affair does not occur. sent7: if the account occurs then either the shoot occurs or the amauroticness does not occur or both. sent8: that the clinging swine does not occur and the jerk happens prevents that the insemination happens. sent9: that the dictatorialness does not occur and the willing does not occur does not hold if the unseductiveness does not occur. sent10: the blastoporalness occurs. sent11: if the shooting happens the fact that both the non-unseductiveness and the non-amauroticness occurs is right. sent12: if the clinging felucca does not occur the fact that both the non-nonsignificantness and the affair occurs is not right. sent13: that the heaving does not occur and the usage does not occur is triggered by that the bear happens. sent14: if the projection occurs the account occurs. sent15: if the dictatorialness does not occur then the fact that the fact that the seductiveness and the resecting Houyhnhnm occurs hold does not hold. sent16: the albuminuricness happens. sent17: that if that the untuning Laplace does not occur and the radiology does not occur does not hold the clinging team happens is not false. sent18: the clinging swine and the albuminuricness occurs if the simplification does not occur. sent19: if that the fact that not the unseductiveness but the resecting Houyhnhnm occurs does not hold is right then the resecting Houyhnhnm does not occur. sent20: if that the non-nonsignificantness and the affair occurs does not hold the affair does not occur. sent21: if the resecting Houyhnhnm does not occur then that the albuminuricness happens and the blastoporalness occurs is true. sent22: that the willing happens and the blastoporalness occurs is wrong if the resecting Houyhnhnm does not occur.
void -> assump1: Let's assume that that the simplification does not occur and the alluvialness does not occur is false.; sent5 & assump1 -> int1: the jerk happens.;
the clinging swine does not occur.
$hypothesis$ = the clinging swine happens. ; $context$ = sent1: if the fact that the usage does not occur hold then the fact that both the projection and the partisanness happens hold. sent2: the blastoporalness does not occur if the fact that the willing occurs and the blastoporalness occurs is wrong. sent3: if the blastoporalness does not occur the albuminuricness does not occur. sent4: if the albuminuricness does not occur then not the clinging swine but the jerking occurs. sent5: the jerking occurs if that the simplification does not occur and the alluvialness does not occur is incorrect. sent6: the fact that both the bearing and the acceding happens hold if the affair does not occur. sent7: if the account occurs then either the shoot occurs or the amauroticness does not occur or both. sent8: that the clinging swine does not occur and the jerk happens prevents that the insemination happens. sent9: that the dictatorialness does not occur and the willing does not occur does not hold if the unseductiveness does not occur. sent10: the blastoporalness occurs. sent11: if the shooting happens the fact that both the non-unseductiveness and the non-amauroticness occurs is right. sent12: if the clinging felucca does not occur the fact that both the non-nonsignificantness and the affair occurs is not right. sent13: that the heaving does not occur and the usage does not occur is triggered by that the bear happens. sent14: if the projection occurs the account occurs. sent15: if the dictatorialness does not occur then the fact that the fact that the seductiveness and the resecting Houyhnhnm occurs hold does not hold. sent16: the albuminuricness happens. sent17: that if that the untuning Laplace does not occur and the radiology does not occur does not hold the clinging team happens is not false. sent18: the clinging swine and the albuminuricness occurs if the simplification does not occur. sent19: if that the fact that not the unseductiveness but the resecting Houyhnhnm occurs does not hold is right then the resecting Houyhnhnm does not occur. sent20: if that the non-nonsignificantness and the affair occurs does not hold the affair does not occur. sent21: if the resecting Houyhnhnm does not occur then that the albuminuricness happens and the blastoporalness occurs is true. sent22: that the willing happens and the blastoporalness occurs is wrong if the resecting Houyhnhnm does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the simplification does not occur and the alluvialness does not occur is false.; sent5 & assump1 -> int1: the jerk happens.; __UNKNOWN__