the alpha occurs.
sent1: if the realisticness does not occur then the ingress does not occur and the tan does not occur. sent2: that the airdrop does not occur and the butting chess does not occur is caused by that the vitrectomy does not occur. sent3: if the yelling happens and the contractualness occurs then the vitrectomy does not occur. sent4: the realisticness does not occur if the forgiving happens. sent5: that the assortment occurs is not false. sent6: that the alpha does not occur is prevented by that the ingress happens but the tanning does not occur. sent7: if the butting chess does not occur then the fact that either the disagreeableness happens or the ingress does not occur or both is not true. sent8: both the assortment and the literature occurs. sent9: the ingress does not occur. sent10: if the fact that the disagreeableness occurs and/or the ingress does not occur does not hold the tanning does not occur. sent11: the yelling and the contractualness occurs if that the refraction does not occur is not incorrect. sent12: that the alpha does not occur is prevented by that the ingress does not occur and the tan does not occur. sent13: that the literature does not occur but the assortment happens is incorrect if the forgiving occurs.
sent8 -> int1: that the literature occurs is not incorrect.; int1 -> int2: the literature and/or the forgiving occurs.;
the alpha does not occur.
$hypothesis$ = the alpha occurs. ; $context$ = sent1: if the realisticness does not occur then the ingress does not occur and the tan does not occur. sent2: that the airdrop does not occur and the butting chess does not occur is caused by that the vitrectomy does not occur. sent3: if the yelling happens and the contractualness occurs then the vitrectomy does not occur. sent4: the realisticness does not occur if the forgiving happens. sent5: that the assortment occurs is not false. sent6: that the alpha does not occur is prevented by that the ingress happens but the tanning does not occur. sent7: if the butting chess does not occur then the fact that either the disagreeableness happens or the ingress does not occur or both is not true. sent8: both the assortment and the literature occurs. sent9: the ingress does not occur. sent10: if the fact that the disagreeableness occurs and/or the ingress does not occur does not hold the tanning does not occur. sent11: the yelling and the contractualness occurs if that the refraction does not occur is not incorrect. sent12: that the alpha does not occur is prevented by that the ingress does not occur and the tan does not occur. sent13: that the literature does not occur but the assortment happens is incorrect if the forgiving occurs. ; $proof$ = 
sent8 -> int1: that the literature occurs is not incorrect.; int1 -> int2: the literature and/or the forgiving occurs.; __UNKNOWN__