the thrombosing sandbur does not occur and the regretfulness does not occur.
sent1: the chemiluminescence does not occur and the thrombosing sandbur does not occur if the regretfulness occurs. sent2: the ninepins does not occur. sent3: the non-bibliothecalness brings about that the regretfulness happens and the scallop happens. sent4: the bibliothecalness occurs but the scalloping does not occur. sent5: the anoperinealness is prevented by that the ninepins occurs and/or the thrombosing phenobarbital. sent6: that the bibliothecalness happens but the scalloping does not occur prevents that the regretfulness happens. sent7: the thrombosing Cherokee does not occur and the humanisticness does not occur if the thrombosing phenobarbital does not occur. sent8: the ninepins happens if the thrombosing Cherokee does not occur and the humanisticness does not occur. sent9: that the non-bibliothecalness and the HRT happens is caused by that the catabolicness does not occur.
void -> assump1: Let's assume that that the thrombosing phenobarbital does not occur hold.; sent7 & assump1 -> int1: the thrombosing Cherokee does not occur and the humanisticness does not occur.; int1 & sent8 -> int2: the ninepins occurs.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the thrombosing phenobarbital occurs.; int4 -> int5: the thrombosing phenobarbital occurs and/or the chemiluminescence happens.; sent6 & sent4 -> int6: the regretfulness does not occur.;
the anoperinealness does not occur.
$hypothesis$ = the thrombosing sandbur does not occur and the regretfulness does not occur. ; $context$ = sent1: the chemiluminescence does not occur and the thrombosing sandbur does not occur if the regretfulness occurs. sent2: the ninepins does not occur. sent3: the non-bibliothecalness brings about that the regretfulness happens and the scallop happens. sent4: the bibliothecalness occurs but the scalloping does not occur. sent5: the anoperinealness is prevented by that the ninepins occurs and/or the thrombosing phenobarbital. sent6: that the bibliothecalness happens but the scalloping does not occur prevents that the regretfulness happens. sent7: the thrombosing Cherokee does not occur and the humanisticness does not occur if the thrombosing phenobarbital does not occur. sent8: the ninepins happens if the thrombosing Cherokee does not occur and the humanisticness does not occur. sent9: that the non-bibliothecalness and the HRT happens is caused by that the catabolicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the thrombosing phenobarbital does not occur hold.; sent7 & assump1 -> int1: the thrombosing Cherokee does not occur and the humanisticness does not occur.; int1 & sent8 -> int2: the ninepins occurs.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the thrombosing phenobarbital occurs.; int4 -> int5: the thrombosing phenobarbital occurs and/or the chemiluminescence happens.; sent6 & sent4 -> int6: the regretfulness does not occur.; __UNKNOWN__