that that the revoke does not occur but the rappel happens is incorrect hold.
sent1: if the fact that both the fidgeting Lima and the non-subjacentness occurs does not hold then the sublimation does not occur. sent2: the profession and the leveling longevity happens if the effusing does not occur. sent3: if the leveling undercoat happens the SOP occurs. sent4: the fidgeting Lima happens if the profession happens. sent5: if the incorruptness does not occur then the fact that the scaleneness and the androgynousness happens is not correct. sent6: the quartering does not occur if the fact that the leaningness occurs is not false. sent7: if the trophoblasticness happens then the sighing acebutolol does not occur. sent8: if the quartering does not occur then the fact that the subjacentness happens and the sublimation does not occur is not right. sent9: the terrestrialness but not the caliphate occurs. sent10: if the automotiveness happens the trophoblasticness happens. sent11: if that the quartering does not occur and the leaningness does not occur is incorrect then the revoking does not occur. sent12: the automotiveness occurs if not the leaningness but the fidgeting Lima happens. sent13: not the meeting but the foxhunt happens. sent14: the fact that the revoking does not occur and the rappeling happens does not hold if the sighing acebutolol does not occur. sent15: if the sublimation does not occur then the fact that the quartering does not occur and the leaningness does not occur is not true. sent16: the effusing does not occur. sent17: the fact that the profession but not the sighing acebutolol occurs is false if the fact that the terrestrialness does not occur is not wrong. sent18: if the leveling longevity does not occur then both the automotiveness and the rappeling occurs.
void -> assump1: Let's assume that the fact that the leaningness occurs hold.; sent6 & assump1 -> int1: the quartering does not occur.; int1 & sent8 -> int2: the fact that the subjacentness occurs and the sublimation does not occur does not hold.; sent9 -> int3: the terrestrialness occurs.; sent2 & sent16 -> int4: both the profession and the leveling longevity happens.; int4 -> int5: the profession happens.; sent4 & int5 -> int6: the fact that the fidgeting Lima occurs is right.;
the revoking does not occur and the rappel happens.
$hypothesis$ = that that the revoke does not occur but the rappel happens is incorrect hold. ; $context$ = sent1: if the fact that both the fidgeting Lima and the non-subjacentness occurs does not hold then the sublimation does not occur. sent2: the profession and the leveling longevity happens if the effusing does not occur. sent3: if the leveling undercoat happens the SOP occurs. sent4: the fidgeting Lima happens if the profession happens. sent5: if the incorruptness does not occur then the fact that the scaleneness and the androgynousness happens is not correct. sent6: the quartering does not occur if the fact that the leaningness occurs is not false. sent7: if the trophoblasticness happens then the sighing acebutolol does not occur. sent8: if the quartering does not occur then the fact that the subjacentness happens and the sublimation does not occur is not right. sent9: the terrestrialness but not the caliphate occurs. sent10: if the automotiveness happens the trophoblasticness happens. sent11: if that the quartering does not occur and the leaningness does not occur is incorrect then the revoking does not occur. sent12: the automotiveness occurs if not the leaningness but the fidgeting Lima happens. sent13: not the meeting but the foxhunt happens. sent14: the fact that the revoking does not occur and the rappeling happens does not hold if the sighing acebutolol does not occur. sent15: if the sublimation does not occur then the fact that the quartering does not occur and the leaningness does not occur is not true. sent16: the effusing does not occur. sent17: the fact that the profession but not the sighing acebutolol occurs is false if the fact that the terrestrialness does not occur is not wrong. sent18: if the leveling longevity does not occur then both the automotiveness and the rappeling occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the leaningness occurs hold.; sent6 & assump1 -> int1: the quartering does not occur.; int1 & sent8 -> int2: the fact that the subjacentness occurs and the sublimation does not occur does not hold.; sent9 -> int3: the terrestrialness occurs.; sent2 & sent16 -> int4: both the profession and the leveling longevity happens.; int4 -> int5: the profession happens.; sent4 & int5 -> int6: the fact that the fidgeting Lima occurs is right.; __UNKNOWN__