the rediscovery occurs.
sent1: the lighting occurs if the biotypicness does not occur. sent2: the fact that the deviating NRL but not the offingness occurs is wrong. sent3: the light happens. sent4: that the newsness occurs but the beguine does not occur is false if the correlating shirt does not occur. sent5: the newsness does not occur if the fact that the newsness happens and the beguine does not occur does not hold. sent6: the biotypicness does not occur. sent7: the laminectomy occurs. sent8: that the lightness does not occur and the rediscovery does not occur is incorrect if that the biotypicness happens hold. sent9: if the comicness does not occur that the fact that the generalship but not the deviating halogen occurs is wrong hold. sent10: the rediscovery occurs if that the deviating NRL does not occur and the offingness does not occur is not correct. sent11: the non-offingness leads to that the confederation does not occur or that the deviating NRL does not occur or both. sent12: the fact that the confederation does not occur hold if both the beguine and the correlating shirt occurs. sent13: that that the deviating NRL does not occur and the offingness does not occur does not hold if the beguine does not occur is correct. sent14: the Belarusian occurs and the rioting iridoncus occurs. sent15: that the rediscovery does not occur and the beguine occurs is caused by that the correlating shirt does not occur. sent16: the correlating shirt occurs. sent17: that the playback happens prevents the non-biotypicness. sent18: that not the deviating NRL but the offingness happens does not hold. sent19: if the beguine does not occur then that the deviating NRL occurs and the offingness does not occur is not true. sent20: if the fact that the avirulentness does not occur but the leaching jack-o'-lantern happens is false then the leaching jack-o'-lantern does not occur. sent21: the fact that not the deviating NRL but the offingness occurs is wrong if the beguine does not occur. sent22: if the leaching jack-o'-lantern does not occur the playback occurs and the deviating photolithograph happens.
void -> assump1: Let's assume that the beguine happens.; assump1 & sent16 -> int1: both the beguine and the correlating shirt occurs.; int1 & sent12 -> int2: the confederation does not occur.;
the rediscovery does not occur.
$hypothesis$ = the rediscovery occurs. ; $context$ = sent1: the lighting occurs if the biotypicness does not occur. sent2: the fact that the deviating NRL but not the offingness occurs is wrong. sent3: the light happens. sent4: that the newsness occurs but the beguine does not occur is false if the correlating shirt does not occur. sent5: the newsness does not occur if the fact that the newsness happens and the beguine does not occur does not hold. sent6: the biotypicness does not occur. sent7: the laminectomy occurs. sent8: that the lightness does not occur and the rediscovery does not occur is incorrect if that the biotypicness happens hold. sent9: if the comicness does not occur that the fact that the generalship but not the deviating halogen occurs is wrong hold. sent10: the rediscovery occurs if that the deviating NRL does not occur and the offingness does not occur is not correct. sent11: the non-offingness leads to that the confederation does not occur or that the deviating NRL does not occur or both. sent12: the fact that the confederation does not occur hold if both the beguine and the correlating shirt occurs. sent13: that that the deviating NRL does not occur and the offingness does not occur does not hold if the beguine does not occur is correct. sent14: the Belarusian occurs and the rioting iridoncus occurs. sent15: that the rediscovery does not occur and the beguine occurs is caused by that the correlating shirt does not occur. sent16: the correlating shirt occurs. sent17: that the playback happens prevents the non-biotypicness. sent18: that not the deviating NRL but the offingness happens does not hold. sent19: if the beguine does not occur then that the deviating NRL occurs and the offingness does not occur is not true. sent20: if the fact that the avirulentness does not occur but the leaching jack-o'-lantern happens is false then the leaching jack-o'-lantern does not occur. sent21: the fact that not the deviating NRL but the offingness occurs is wrong if the beguine does not occur. sent22: if the leaching jack-o'-lantern does not occur the playback occurs and the deviating photolithograph happens. ; $proof$ = 
void -> assump1: Let's assume that the beguine happens.; assump1 & sent16 -> int1: both the beguine and the correlating shirt occurs.; int1 & sent12 -> int2: the confederation does not occur.; __UNKNOWN__