the trabecularness does not occur.
sent1: the botanicness occurs and the Mills occurs. sent2: the Ecuadorian does not occur. sent3: that the non-redemptiveness and the fossiliferousness happens causes the eightsome. sent4: the revocation occurs. sent5: if the rubbing does not occur both the fossiliferousness and the revocation happens. sent6: the fact that the septation does not occur is true. sent7: the using happens if the Anglicism does not occur but the Ecuadorianness happens. sent8: the Anglicism does not occur and the Ecuadorian does not occur. sent9: if the eightsome occurs and the using occurs then that the trabecularness does not occur hold. sent10: the rub does not occur. sent11: that the revocation happens is not incorrect if the rubbing does not occur. sent12: if not the pickup but the postbiblicalness occurs then the lashing occurs. sent13: the septation happens if the redemptiveness occurs.
void -> assump1: Let's assume that the redemptiveness happens.; sent13 & assump1 -> int1: the septation happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the redemptiveness does not occur is not incorrect.; sent5 & sent10 -> int4: both the fossiliferousness and the revocation happens.; int4 -> int5: the fossiliferousness happens.; int3 & int5 -> int6: the redemptiveness does not occur but the fossiliferousness happens.; int6 & sent3 -> int7: the eightsome occurs.;
$hypothesis$ = the trabecularness does not occur. ; $context$ = sent1: the botanicness occurs and the Mills occurs. sent2: the Ecuadorian does not occur. sent3: that the non-redemptiveness and the fossiliferousness happens causes the eightsome. sent4: the revocation occurs. sent5: if the rubbing does not occur both the fossiliferousness and the revocation happens. sent6: the fact that the septation does not occur is true. sent7: the using happens if the Anglicism does not occur but the Ecuadorianness happens. sent8: the Anglicism does not occur and the Ecuadorian does not occur. sent9: if the eightsome occurs and the using occurs then that the trabecularness does not occur hold. sent10: the rub does not occur. sent11: that the revocation happens is not incorrect if the rubbing does not occur. sent12: if not the pickup but the postbiblicalness occurs then the lashing occurs. sent13: the septation happens if the redemptiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the redemptiveness happens.; sent13 & assump1 -> int1: the septation happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the redemptiveness does not occur is not incorrect.; sent5 & sent10 -> int4: both the fossiliferousness and the revocation happens.; int4 -> int5: the fossiliferousness happens.; int3 & int5 -> int6: the redemptiveness does not occur but the fossiliferousness happens.; int6 & sent3 -> int7: the eightsome occurs.; __UNKNOWN__