the nagging screening occurs.
sent1: if that the tarnishing porkfish occurs is true the fact that not the phacoemulsification but the name occurs is not true. sent2: if the chomping docket does not occur either the caecilian happens or the nonviolence happens or both. sent3: if the nagging Alcott does not occur then that the splashing happens but the propagativeness does not occur is false. sent4: the chomping docket does not occur if either the safety does not occur or the chomping docket does not occur or both. sent5: that the tarnishing airstream does not occur and the ping happens is caused by that the chomping gueridon does not occur. sent6: if the contortion occurs the tarnishing porkfish occurs. sent7: if the nagging Alcott does not occur then that the splashing does not occur and the propagativeness does not occur does not hold. sent8: that the nagging screening does not occur is prevented by that the familialness does not occur. sent9: if the pursuit occurs the ignobleness does not occur and the Caucasianness does not occur. sent10: if that the fact that not the phacoemulsification but the name happens is not correct is not wrong the heeling does not occur. sent11: if the senatorialness does not occur then either the exactaness or the non-familialness or both occurs. sent12: the nagging Alcott does not occur. sent13: that both the contortion and the viaticalness happens is caused by that the Caucasian does not occur. sent14: the ammoniticness happens. sent15: the nagging screening occurs if the exactaness occurs. sent16: the splash occurs if that that that the splash does not occur and the propagativeness does not occur is correct does not hold hold. sent17: if the heel does not occur then the chomping gueridon does not occur. sent18: the fact that both the senatorialness and the nagging screening happens does not hold if the ammoniticness does not occur. sent19: the pursuit occurs if the caecilianness happens. sent20: the fact that the splashing but not the propagativeness occurs is not correct. sent21: the safety does not occur and/or the chomping docket does not occur. sent22: if the tarnishing airstream does not occur not the nagging Alcott but the propagativeness occurs. sent23: the fact that the warring does not occur and the disbarment does not occur is wrong. sent24: if the familialness happens that the exactaness but not the splash occurs does not hold.
void -> assump1: Let's assume that the senatorialness happens.; sent14 & assump1 -> int1: the ammoniticness and the senatorialness happens.; sent7 & sent12 -> int2: the fact that the splashing does not occur and the propagativeness does not occur is not correct.; sent16 & int2 -> int3: the splashing occurs.;
the nagging screening does not occur.
sent4 & sent21 -> int4: that the chomping docket does not occur hold.; sent2 & int4 -> int5: the caecilianness happens and/or the nonviolence occurs.;
$hypothesis$ = the nagging screening occurs. ; $context$ = sent1: if that the tarnishing porkfish occurs is true the fact that not the phacoemulsification but the name occurs is not true. sent2: if the chomping docket does not occur either the caecilian happens or the nonviolence happens or both. sent3: if the nagging Alcott does not occur then that the splashing happens but the propagativeness does not occur is false. sent4: the chomping docket does not occur if either the safety does not occur or the chomping docket does not occur or both. sent5: that the tarnishing airstream does not occur and the ping happens is caused by that the chomping gueridon does not occur. sent6: if the contortion occurs the tarnishing porkfish occurs. sent7: if the nagging Alcott does not occur then that the splashing does not occur and the propagativeness does not occur does not hold. sent8: that the nagging screening does not occur is prevented by that the familialness does not occur. sent9: if the pursuit occurs the ignobleness does not occur and the Caucasianness does not occur. sent10: if that the fact that not the phacoemulsification but the name happens is not correct is not wrong the heeling does not occur. sent11: if the senatorialness does not occur then either the exactaness or the non-familialness or both occurs. sent12: the nagging Alcott does not occur. sent13: that both the contortion and the viaticalness happens is caused by that the Caucasian does not occur. sent14: the ammoniticness happens. sent15: the nagging screening occurs if the exactaness occurs. sent16: the splash occurs if that that that the splash does not occur and the propagativeness does not occur is correct does not hold hold. sent17: if the heel does not occur then the chomping gueridon does not occur. sent18: the fact that both the senatorialness and the nagging screening happens does not hold if the ammoniticness does not occur. sent19: the pursuit occurs if the caecilianness happens. sent20: the fact that the splashing but not the propagativeness occurs is not correct. sent21: the safety does not occur and/or the chomping docket does not occur. sent22: if the tarnishing airstream does not occur not the nagging Alcott but the propagativeness occurs. sent23: the fact that the warring does not occur and the disbarment does not occur is wrong. sent24: if the familialness happens that the exactaness but not the splash occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the senatorialness happens.; sent14 & assump1 -> int1: the ammoniticness and the senatorialness happens.; sent7 & sent12 -> int2: the fact that the splashing does not occur and the propagativeness does not occur is not correct.; sent16 & int2 -> int3: the splashing occurs.; __UNKNOWN__