the regularness happens.
sent1: the fact that both the regularness and the consorting Theravada occurs is false if the waterloo does not occur. sent2: the goal does not occur if the aculeateness happens. sent3: if the fact that the interlocking but not the consorting South happens does not hold the lysogenicness does not occur. sent4: if the rehearsing does not occur the fact that the clanking sissoo does not occur is correct. sent5: the revision does not occur. sent6: that the clanking fatwah does not occur is not wrong. sent7: that the waterloo does not occur and the consorting Theravada does not occur prevents that the consorting bootlegging does not occur. sent8: if the treeing does not occur the jockeying geneticism does not occur. sent9: that the regular occurs is brought about by that both the consorting South and the non-lysogenicness occurs. sent10: that the interlock and the procuring happens is caused by that the Tongan does not occur. sent11: the waterloo occurs if the consorting Theravada does not occur. sent12: the regularness does not occur if the interlock occurs. sent13: if the procuring does not occur then that the interlocking happens and the consorting South does not occur is incorrect. sent14: the fact that the consorting domestication does not occur is not wrong. sent15: the jockeying incurvation does not occur. sent16: that the consorting vizier does not occur results in that the consorting South and the non-lysogenicness happens. sent17: the consorting Theravada does not occur. sent18: if the regular does not occur then either the lysogenicness happens or the consorting South occurs or both. sent19: the Tongan does not occur if not the consorting domestication but the Bell happens. sent20: the non-hypnoticness is triggered by that either the waterloo happens or the retaliating happens or both. sent21: that the communications happens yields that the outreach does not occur.
sent11 & sent17 -> int1: the waterloo happens.; int1 -> int2: the waterloo and/or the retaliating occurs.; sent20 & int2 -> int3: the hypnoticness does not occur.;
the regular does not occur.
$hypothesis$ = the regularness happens. ; $context$ = sent1: the fact that both the regularness and the consorting Theravada occurs is false if the waterloo does not occur. sent2: the goal does not occur if the aculeateness happens. sent3: if the fact that the interlocking but not the consorting South happens does not hold the lysogenicness does not occur. sent4: if the rehearsing does not occur the fact that the clanking sissoo does not occur is correct. sent5: the revision does not occur. sent6: that the clanking fatwah does not occur is not wrong. sent7: that the waterloo does not occur and the consorting Theravada does not occur prevents that the consorting bootlegging does not occur. sent8: if the treeing does not occur the jockeying geneticism does not occur. sent9: that the regular occurs is brought about by that both the consorting South and the non-lysogenicness occurs. sent10: that the interlock and the procuring happens is caused by that the Tongan does not occur. sent11: the waterloo occurs if the consorting Theravada does not occur. sent12: the regularness does not occur if the interlock occurs. sent13: if the procuring does not occur then that the interlocking happens and the consorting South does not occur is incorrect. sent14: the fact that the consorting domestication does not occur is not wrong. sent15: the jockeying incurvation does not occur. sent16: that the consorting vizier does not occur results in that the consorting South and the non-lysogenicness happens. sent17: the consorting Theravada does not occur. sent18: if the regular does not occur then either the lysogenicness happens or the consorting South occurs or both. sent19: the Tongan does not occur if not the consorting domestication but the Bell happens. sent20: the non-hypnoticness is triggered by that either the waterloo happens or the retaliating happens or both. sent21: that the communications happens yields that the outreach does not occur. ; $proof$ = 
sent11 & sent17 -> int1: the waterloo happens.; int1 -> int2: the waterloo and/or the retaliating occurs.; sent20 & int2 -> int3: the hypnoticness does not occur.; __UNKNOWN__