the immersion happens.
sent1: the decay and the Capetian happens. sent2: that the carnifying does not occur hold. sent3: the sarcolemmicness happens. sent4: the flounce happens if the fact that the invisibleness occurs is true. sent5: the fact that the regaling happens but the salve does not occur is not true. sent6: the realizing enterokinase occurs and the chirring happens. sent7: both the interference and the stump happens. sent8: both the linealness and the Dominicanness happens. sent9: the drumbeat and the juvenile happens. sent10: the dismemberment occurs if that the shirking does not occur and the antonymousness does not occur does not hold. sent11: the dismemberment occurs if the shirking occurs. sent12: that the shirking does not occur and the antonymousness does not occur is not true if the Dominican happens. sent13: if the ennoblement happens then the fact that the immersion happens hold. sent14: that the temporalness occurs but the salvation does not occur does not hold. sent15: the contemptibleness does not occur. sent16: the fact that the ennoblement occurs is right if the erasure occurs. sent17: that the erasure does not occur is prevented by that the interference happens but the hook does not occur. sent18: the downtick occurs. sent19: the catholicness occurs. sent20: the parabolicness occurs. sent21: if that the carbonating lounger does not occur and the Capetian does not occur is not true the fact that the subjunctiveness happens is not false. sent22: that both the punitiveness and the hook occurs leads to that the dismemberment does not occur. sent23: both the undemocraticness and the soldier happens. sent24: the Croatian occurs. sent25: the unfavorableness does not occur.
void -> assump1: Let's assume that the hook happens.; sent8 -> int1: the Dominicanness happens.; sent12 & int1 -> int2: that the shirking does not occur and the antonymousness does not occur is wrong.; sent10 & int2 -> int3: the dismemberment happens.; sent7 -> int4: the interference occurs.;
$hypothesis$ = the immersion happens. ; $context$ = sent1: the decay and the Capetian happens. sent2: that the carnifying does not occur hold. sent3: the sarcolemmicness happens. sent4: the flounce happens if the fact that the invisibleness occurs is true. sent5: the fact that the regaling happens but the salve does not occur is not true. sent6: the realizing enterokinase occurs and the chirring happens. sent7: both the interference and the stump happens. sent8: both the linealness and the Dominicanness happens. sent9: the drumbeat and the juvenile happens. sent10: the dismemberment occurs if that the shirking does not occur and the antonymousness does not occur does not hold. sent11: the dismemberment occurs if the shirking occurs. sent12: that the shirking does not occur and the antonymousness does not occur is not true if the Dominican happens. sent13: if the ennoblement happens then the fact that the immersion happens hold. sent14: that the temporalness occurs but the salvation does not occur does not hold. sent15: the contemptibleness does not occur. sent16: the fact that the ennoblement occurs is right if the erasure occurs. sent17: that the erasure does not occur is prevented by that the interference happens but the hook does not occur. sent18: the downtick occurs. sent19: the catholicness occurs. sent20: the parabolicness occurs. sent21: if that the carbonating lounger does not occur and the Capetian does not occur is not true the fact that the subjunctiveness happens is not false. sent22: that both the punitiveness and the hook occurs leads to that the dismemberment does not occur. sent23: both the undemocraticness and the soldier happens. sent24: the Croatian occurs. sent25: the unfavorableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hook happens.; sent8 -> int1: the Dominicanness happens.; sent12 & int1 -> int2: that the shirking does not occur and the antonymousness does not occur is wrong.; sent10 & int2 -> int3: the dismemberment happens.; sent7 -> int4: the interference occurs.; __UNKNOWN__