both the entreaty and the non-irrelevantness occurs.
sent1: if the rumbling does not occur the sleepover occurs. sent2: if the rumble occurs the fact that the entreaty happens but the irrelevantness does not occur does not hold. sent3: the scapular occurs if the fact that not the rumble but the sleepover occurs does not hold. sent4: the repeatableness does not occur if the frosting does not occur and the passing does not occur. sent5: the irrelevantness does not occur. sent6: if the bowls happens then the passing does not occur. sent7: the unrepeatableness brings about that the synovialness does not occur. sent8: the fact that the passing does not occur is true. sent9: the irrelevantness does not occur if that the synovialness does not occur hold. sent10: the kowtow does not occur and the lacrimalness does not occur if the rollover occurs. sent11: the interposing height is prevented by that the organizing does not occur and the horseplay does not occur. sent12: that the repeatableness does not occur is caused by that not the frosting but the passing occurs. sent13: the physiologicalness does not occur. sent14: if the fact that the endoergicness but not the entreaty happens is not right the irrelevantness does not occur. sent15: if the organizing happens then that the phoneticness happens is not false. sent16: that the interposing Anzio does not occur leads to that the curbing oligospermia happens but the inheriting does not occur. sent17: if the synovialness does not occur the entreaty but not the irrelevantness occurs. sent18: the rumble does not occur. sent19: if the fact that the frost does not occur hold that both the passing and the bowling happens is incorrect. sent20: if the sleepover happens then that the bowls happens is true.
sent1 & sent18 -> int1: the sleepover occurs.; sent20 & int1 -> int2: the bowling occurs.;
the scapular occurs.
$hypothesis$ = both the entreaty and the non-irrelevantness occurs. ; $context$ = sent1: if the rumbling does not occur the sleepover occurs. sent2: if the rumble occurs the fact that the entreaty happens but the irrelevantness does not occur does not hold. sent3: the scapular occurs if the fact that not the rumble but the sleepover occurs does not hold. sent4: the repeatableness does not occur if the frosting does not occur and the passing does not occur. sent5: the irrelevantness does not occur. sent6: if the bowls happens then the passing does not occur. sent7: the unrepeatableness brings about that the synovialness does not occur. sent8: the fact that the passing does not occur is true. sent9: the irrelevantness does not occur if that the synovialness does not occur hold. sent10: the kowtow does not occur and the lacrimalness does not occur if the rollover occurs. sent11: the interposing height is prevented by that the organizing does not occur and the horseplay does not occur. sent12: that the repeatableness does not occur is caused by that not the frosting but the passing occurs. sent13: the physiologicalness does not occur. sent14: if the fact that the endoergicness but not the entreaty happens is not right the irrelevantness does not occur. sent15: if the organizing happens then that the phoneticness happens is not false. sent16: that the interposing Anzio does not occur leads to that the curbing oligospermia happens but the inheriting does not occur. sent17: if the synovialness does not occur the entreaty but not the irrelevantness occurs. sent18: the rumble does not occur. sent19: if the fact that the frost does not occur hold that both the passing and the bowling happens is incorrect. sent20: if the sleepover happens then that the bowls happens is true. ; $proof$ = 
sent1 & sent18 -> int1: the sleepover occurs.; sent20 & int1 -> int2: the bowling occurs.; __UNKNOWN__