if the behest occurs then the unpublishableness and the Regency occurs.
sent1: the fearing Boulez does not occur but the lactogenicness happens. sent2: if the Circumcision happens then the fact that the behest happens and the scandal does not occur is wrong. sent3: the publishableness does not occur. sent4: if that that the behest occurs but the scandal does not occur is incorrect is not wrong the headroom does not occur. sent5: that the behest does not occur is brought about by that not the publishableness but the Regency happens. sent6: the publishableness does not occur if the behest occurs. sent7: if the publishableness occurs the behest does not occur. sent8: the behest does not occur if that the non-publishableness and the Regency occurs is not true.
void -> assump1: Let's assume that the fact that the non-publishableness and the Regency occurs does not hold.; sent8 & assump1 -> int1: the behest does not occur.; void -> assump2: Let's assume that the behest happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the publishableness does not occur but the Regency happens.; [assump2] & int3 -> hypothesis;
the headroom does not occur and the losslessness happens.
$hypothesis$ = if the behest occurs then the unpublishableness and the Regency occurs. ; $context$ = sent1: the fearing Boulez does not occur but the lactogenicness happens. sent2: if the Circumcision happens then the fact that the behest happens and the scandal does not occur is wrong. sent3: the publishableness does not occur. sent4: if that that the behest occurs but the scandal does not occur is incorrect is not wrong the headroom does not occur. sent5: that the behest does not occur is brought about by that not the publishableness but the Regency happens. sent6: the publishableness does not occur if the behest occurs. sent7: if the publishableness occurs the behest does not occur. sent8: the behest does not occur if that the non-publishableness and the Regency occurs is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the non-publishableness and the Regency occurs does not hold.; sent8 & assump1 -> int1: the behest does not occur.; void -> assump2: Let's assume that the behest happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the publishableness does not occur but the Regency happens.; [assump2] & int3 -> hypothesis; __PROVED__