the baccalaureate does not occur.
sent1: if the deticking sprouted does not occur both the non-pectoralness and the skeleton occurs. sent2: if the bane does not occur then that the precentorship does not occur and the rectosigmoidness does not occur is not right. sent3: the nonalcoholicness does not occur if that the bane does not occur or the precentorship does not occur or both is not true. sent4: the floralness occurs if the fact that the baccalaureate but not the success occurs is false. sent5: if the skeleton does not occur that the marketplace occurs or the rectosigmoidness occurs or both hold. sent6: the deticking hobnailed does not occur or the deticking sprouted does not occur or both. sent7: the marketplace occurs if the non-pectoralness and the skeleton occurs. sent8: if the deticking hobnailed does not occur or the deticking sprouted does not occur or both the deticking sprouted does not occur. sent9: if that the precentorship does not occur and the rectosigmoidness does not occur is false then the marketplace does not occur. sent10: that the deticking sprouted happens and the reversible occurs is true if the deticking hobnailed does not occur. sent11: the precentorship triggers that not the nonalcoholicness but the bane happens. sent12: the success occurs if the baccalaureate happens. sent13: that the pectoralness occurs but the skeleton does not occur is triggered by that the deticking sprouted happens.
void -> assump1: Let's assume that the fact that the baccalaureate occurs is true.; sent12 & assump1 -> int1: the success happens.; int1 -> int2: the nonalcoholicness happens and/or the success occurs.; sent8 & sent6 -> int3: the deticking sprouted does not occur.; sent1 & int3 -> int4: the fact that the pectoral does not occur and the skeleton occurs hold.; sent7 & int4 -> int5: the marketplace occurs.;
the floralness occurs.
$hypothesis$ = the baccalaureate does not occur. ; $context$ = sent1: if the deticking sprouted does not occur both the non-pectoralness and the skeleton occurs. sent2: if the bane does not occur then that the precentorship does not occur and the rectosigmoidness does not occur is not right. sent3: the nonalcoholicness does not occur if that the bane does not occur or the precentorship does not occur or both is not true. sent4: the floralness occurs if the fact that the baccalaureate but not the success occurs is false. sent5: if the skeleton does not occur that the marketplace occurs or the rectosigmoidness occurs or both hold. sent6: the deticking hobnailed does not occur or the deticking sprouted does not occur or both. sent7: the marketplace occurs if the non-pectoralness and the skeleton occurs. sent8: if the deticking hobnailed does not occur or the deticking sprouted does not occur or both the deticking sprouted does not occur. sent9: if that the precentorship does not occur and the rectosigmoidness does not occur is false then the marketplace does not occur. sent10: that the deticking sprouted happens and the reversible occurs is true if the deticking hobnailed does not occur. sent11: the precentorship triggers that not the nonalcoholicness but the bane happens. sent12: the success occurs if the baccalaureate happens. sent13: that the pectoralness occurs but the skeleton does not occur is triggered by that the deticking sprouted happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the baccalaureate occurs is true.; sent12 & assump1 -> int1: the success happens.; int1 -> int2: the nonalcoholicness happens and/or the success occurs.; sent8 & sent6 -> int3: the deticking sprouted does not occur.; sent1 & int3 -> int4: the fact that the pectoral does not occur and the skeleton occurs hold.; sent7 & int4 -> int5: the marketplace occurs.; __UNKNOWN__