that the bowing Enid does not occur and the sarcosomalness does not occur is false if the subtractiveness happens.
sent1: the bowing Ormandy happens. sent2: that the thermotherapy happens is correct. sent3: the bowing Enid does not occur and the sarcosomalness does not occur. sent4: if that the Inquisition does not occur hold then the fact that the bowing Enid does not occur but the sarcosomalness occurs is not true. sent5: the caliphate does not occur. sent6: the interstitialness happens. sent7: the inadmissibleness occurs or the funneling happens or both. sent8: if the bosoming does not occur then the inadmissibleness does not occur and/or the funneling occurs. sent9: the fact that the postalness does not occur and the bowing Bryan does not occur does not hold if the bowing Phoxinus does not occur. sent10: that the identifiableness but not the recidivism happens is wrong. sent11: that the bosom happens and the thermotherapy occurs prevents the subtractiveness. sent12: if the subtractiveness happens then that the bowing Enid and the non-sarcosomalness occurs is not correct. sent13: the presage happens. sent14: if the animating does not occur then that the intercommunion does not occur and the relapsing does not occur is wrong. sent15: if the Inquisition does not occur then that the bowing Enid does not occur and the sarcosomalness does not occur is not right. sent16: the copper does not occur and the bowing Kimberley does not occur if the self-gratification does not occur. sent17: if the dextrorotation happens the fact that not the tingeing hedgefund but the bowing fibroblast happens does not hold. sent18: that the bowing Enid but not the sarcosomalness happens does not hold if the Inquisition does not occur. sent19: if the inadmissibleness does not occur the Inquisition does not occur.
void -> assump2: Let's assume that the subtractiveness occurs.; void -> assump1: Let's assume that the bosom occurs.; assump1 & sent2 -> int1: the bosom occurs and the thermotherapy happens.; sent11 & int1 -> int2: the subtractiveness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bosoming does not occur.; sent8 & int4 -> int5: either the admissibleness or the funneling or both happens.;
$hypothesis$ = that the bowing Enid does not occur and the sarcosomalness does not occur is false if the subtractiveness happens. ; $context$ = sent1: the bowing Ormandy happens. sent2: that the thermotherapy happens is correct. sent3: the bowing Enid does not occur and the sarcosomalness does not occur. sent4: if that the Inquisition does not occur hold then the fact that the bowing Enid does not occur but the sarcosomalness occurs is not true. sent5: the caliphate does not occur. sent6: the interstitialness happens. sent7: the inadmissibleness occurs or the funneling happens or both. sent8: if the bosoming does not occur then the inadmissibleness does not occur and/or the funneling occurs. sent9: the fact that the postalness does not occur and the bowing Bryan does not occur does not hold if the bowing Phoxinus does not occur. sent10: that the identifiableness but not the recidivism happens is wrong. sent11: that the bosom happens and the thermotherapy occurs prevents the subtractiveness. sent12: if the subtractiveness happens then that the bowing Enid and the non-sarcosomalness occurs is not correct. sent13: the presage happens. sent14: if the animating does not occur then that the intercommunion does not occur and the relapsing does not occur is wrong. sent15: if the Inquisition does not occur then that the bowing Enid does not occur and the sarcosomalness does not occur is not right. sent16: the copper does not occur and the bowing Kimberley does not occur if the self-gratification does not occur. sent17: if the dextrorotation happens the fact that not the tingeing hedgefund but the bowing fibroblast happens does not hold. sent18: that the bowing Enid but not the sarcosomalness happens does not hold if the Inquisition does not occur. sent19: if the inadmissibleness does not occur the Inquisition does not occur. ; $proof$ = 
void -> assump2: Let's assume that the subtractiveness occurs.; void -> assump1: Let's assume that the bosom occurs.; assump1 & sent2 -> int1: the bosom occurs and the thermotherapy happens.; sent11 & int1 -> int2: the subtractiveness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bosoming does not occur.; sent8 & int4 -> int5: either the admissibleness or the funneling or both happens.; __UNKNOWN__