the ouster occurs.
sent1: the ouster does not occur if that not the peripateticness but the apothecialness happens is incorrect. sent2: the indelicacy does not occur and the suppression does not occur if the fact that the petroglyph happens hold. sent3: the fact that both the immortal and the interjecting occurs is not true if the penitentness does not occur. sent4: if the sequencing pouched does not occur then the crocheting Hispanic happens and the reunifying disproportion occurs. sent5: the peripateticness does not occur if the apothecialness occurs. sent6: the slipping is prevented by that the indelicacy does not occur and the suppression does not occur. sent7: the retrospectiveness happens. sent8: both the non-messianicness and the vivification occurs if the reunifying somniloquist occurs. sent9: if the fact that the immortal occurs and the interjecting happens is not right the immortal does not occur. sent10: the nonpregnantness does not occur if the slipping does not occur. sent11: if the fact that the luminescing does not occur hold then the fact that the non-retrospectiveness or the sociopathicness or both occurs is not right. sent12: that the luminescing occurs is prevented by that the non-nonpregnantness and the reunifying disproportion happens. sent13: the non-inefficaciousness and the non-penitentness happens. sent14: if the messianicness does not occur but the vivification happens the sequencing pouched does not occur. sent15: both the avifaunalness and the retrospective happens. sent16: that the avifaunalness but not the peripatetic happens results in that the ouster happens. sent17: that the subsequentness occurs and the reunifying somniloquist occurs is brought about by that the eyedrop does not occur. sent18: the petroglyph occurs if the fact that the petroglyph does not occur and the impossibleness happens is not right. sent19: the apothecialness happens. sent20: if the fact that the retrospectiveness does not occur and/or the sociopathicness happens is wrong then the fact that the avifaunalness does not occur is not wrong. sent21: the fact that not the petroglyph but the impossibleness happens is not right if the fact that the immortal does not occur is not incorrect. sent22: the coaching occurs.
sent5 & sent19 -> int1: that the peripatetic does not occur hold.; sent15 -> int2: the avifaunalness occurs.; int1 & int2 -> int3: the avifaunalness and the non-peripateticness happens.; int3 & sent16 -> hypothesis;
the ouster does not occur.
sent13 -> int4: the penitentness does not occur.; sent3 & int4 -> int5: the fact that the immortal and the interjecting occurs is not true.; sent9 & int5 -> int6: the immortalness does not occur.; sent21 & int6 -> int7: that the petroglyph does not occur but the impossibleness happens does not hold.; sent18 & int7 -> int8: the fact that the petroglyph happens is true.; sent2 & int8 -> int9: the indelicacy does not occur and the suppression does not occur.; sent6 & int9 -> int10: the slipping does not occur.; sent10 & int10 -> int11: the nonpregnantness does not occur.;
$hypothesis$ = the ouster occurs. ; $context$ = sent1: the ouster does not occur if that not the peripateticness but the apothecialness happens is incorrect. sent2: the indelicacy does not occur and the suppression does not occur if the fact that the petroglyph happens hold. sent3: the fact that both the immortal and the interjecting occurs is not true if the penitentness does not occur. sent4: if the sequencing pouched does not occur then the crocheting Hispanic happens and the reunifying disproportion occurs. sent5: the peripateticness does not occur if the apothecialness occurs. sent6: the slipping is prevented by that the indelicacy does not occur and the suppression does not occur. sent7: the retrospectiveness happens. sent8: both the non-messianicness and the vivification occurs if the reunifying somniloquist occurs. sent9: if the fact that the immortal occurs and the interjecting happens is not right the immortal does not occur. sent10: the nonpregnantness does not occur if the slipping does not occur. sent11: if the fact that the luminescing does not occur hold then the fact that the non-retrospectiveness or the sociopathicness or both occurs is not right. sent12: that the luminescing occurs is prevented by that the non-nonpregnantness and the reunifying disproportion happens. sent13: the non-inefficaciousness and the non-penitentness happens. sent14: if the messianicness does not occur but the vivification happens the sequencing pouched does not occur. sent15: both the avifaunalness and the retrospective happens. sent16: that the avifaunalness but not the peripatetic happens results in that the ouster happens. sent17: that the subsequentness occurs and the reunifying somniloquist occurs is brought about by that the eyedrop does not occur. sent18: the petroglyph occurs if the fact that the petroglyph does not occur and the impossibleness happens is not right. sent19: the apothecialness happens. sent20: if the fact that the retrospectiveness does not occur and/or the sociopathicness happens is wrong then the fact that the avifaunalness does not occur is not wrong. sent21: the fact that not the petroglyph but the impossibleness happens is not right if the fact that the immortal does not occur is not incorrect. sent22: the coaching occurs. ; $proof$ = 
sent5 & sent19 -> int1: that the peripatetic does not occur hold.; sent15 -> int2: the avifaunalness occurs.; int1 & int2 -> int3: the avifaunalness and the non-peripateticness happens.; int3 & sent16 -> hypothesis; __PROVED__