the Holocaust happens and the raising occurs.
sent1: the haymaker occurs and/or the frightening rescued occurs. sent2: the uterineness does not occur if the frightening cayuse happens and/or the chondriticness happens. sent3: the fact that the yeastiness does not occur and the immigration does not occur is incorrect if the maladroitness does not occur. sent4: the average occurs. sent5: both the header and the posting one-hundred-millionth occurs. sent6: that the yawning does not occur hold. sent7: the letters happens if the fact that the fact that the variolarness does not occur and the warming does not occur is true does not hold. sent8: if the caper does not occur then that the handing does not occur and the postulating does not occur is not right. sent9: the Holocaust occurs. sent10: the embrace happens. sent11: the fact that not the embrace but the municipalness occurs is incorrect. sent12: the raise happens if that the fact that the multinucleateness does not occur and the thinking fleabag does not occur is not true is not incorrect. sent13: the thinking cirio and/or that the suturing happens leads to that the posting one-hundred-millionth does not occur. sent14: the fact that the anemicness happens is not wrong. sent15: the nonreciprocalness does not occur. sent16: the fact that the freemail does not occur is true. sent17: if the uterineness does not occur that the multinucleateness does not occur and the thinking fleabag does not occur does not hold. sent18: the fact that the crouch happens is not false. sent19: the leftfield occurs if that the couture does not occur and the mush does not occur is incorrect. sent20: if the posting comment occurs then the intensiveness does not occur. sent21: both the alienableness and the frightening vampirism happens. sent22: the subvention occurs. sent23: the inboardness happens.
void -> assump1: Let's assume that the embrace does not occur and the municipalness does not occur.; assump1 -> int1: the embrace does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the embracing does not occur and the municipalness does not occur does not hold.;
the fact that the Holocaust occurs and the raising occurs is incorrect.
 -> hypothesis;
$hypothesis$ = the Holocaust happens and the raising occurs. ; $context$ = sent1: the haymaker occurs and/or the frightening rescued occurs. sent2: the uterineness does not occur if the frightening cayuse happens and/or the chondriticness happens. sent3: the fact that the yeastiness does not occur and the immigration does not occur is incorrect if the maladroitness does not occur. sent4: the average occurs. sent5: both the header and the posting one-hundred-millionth occurs. sent6: that the yawning does not occur hold. sent7: the letters happens if the fact that the fact that the variolarness does not occur and the warming does not occur is true does not hold. sent8: if the caper does not occur then that the handing does not occur and the postulating does not occur is not right. sent9: the Holocaust occurs. sent10: the embrace happens. sent11: the fact that not the embrace but the municipalness occurs is incorrect. sent12: the raise happens if that the fact that the multinucleateness does not occur and the thinking fleabag does not occur is not true is not incorrect. sent13: the thinking cirio and/or that the suturing happens leads to that the posting one-hundred-millionth does not occur. sent14: the fact that the anemicness happens is not wrong. sent15: the nonreciprocalness does not occur. sent16: the fact that the freemail does not occur is true. sent17: if the uterineness does not occur that the multinucleateness does not occur and the thinking fleabag does not occur does not hold. sent18: the fact that the crouch happens is not false. sent19: the leftfield occurs if that the couture does not occur and the mush does not occur is incorrect. sent20: if the posting comment occurs then the intensiveness does not occur. sent21: both the alienableness and the frightening vampirism happens. sent22: the subvention occurs. sent23: the inboardness happens. ; $proof$ = 
void -> assump1: Let's assume that the embrace does not occur and the municipalness does not occur.; assump1 -> int1: the embrace does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the embracing does not occur and the municipalness does not occur does not hold.; __UNKNOWN__