the names and the vespers occurs.
sent1: the fact that the supervention does not occur is true. sent2: the idealizing observatory does not occur and the supervention does not occur. sent3: that both the corrections and the self-gratification happens is brought about by that the run-up does not occur. sent4: if the suppurativeness happens the fact that the supervention does not occur and the idealizing observatory does not occur is not correct. sent5: the courteousness does not occur if the fact that the mininess does not occur is not false. sent6: if the subsiding Peziza does not occur then the anoxemicness occurs. sent7: the aftermath happens. sent8: that the courteousness happens brings about that the subsiding mustachio happens. sent9: not the numbers but the corrections occurs. sent10: the fact that the self-gratification happens but the mininess does not occur is correct. sent11: the guarding March occurs and the heist occurs. sent12: that the show-stopper occurs is not false. sent13: the Proustianness happens. sent14: if the mininess happens then the subsiding mustachio occurs. sent15: the self-gratification happens. sent16: if the fact that the self-gratification does not occur hold that the names occurs and the vespers happens is not correct. sent17: that the vespers happens is brought about by that the idealizing observatory does not occur. sent18: the idealizing particle does not occur and the impureness does not occur. sent19: the prostration occurs if both the non-midiness and the suctorialness happens. sent20: that the courteousness does not occur but the run-up occurs prevents that the names does not occur. sent21: the run-up and the show-stopper occurs.
sent10 -> int1: the mininess does not occur.; int1 & sent5 -> int2: the courteousness does not occur.; sent21 -> int3: the run-up happens.; int2 & int3 -> int4: both the discourteousness and the run-up happens.; int4 & sent20 -> int5: the naming happens.; sent2 -> int6: the idealizing observatory does not occur.; sent17 & int6 -> int7: the vespers happens.; int5 & int7 -> hypothesis;
that both the names and the vespers happens does not hold.
$hypothesis$ = the names and the vespers occurs. ; $context$ = sent1: the fact that the supervention does not occur is true. sent2: the idealizing observatory does not occur and the supervention does not occur. sent3: that both the corrections and the self-gratification happens is brought about by that the run-up does not occur. sent4: if the suppurativeness happens the fact that the supervention does not occur and the idealizing observatory does not occur is not correct. sent5: the courteousness does not occur if the fact that the mininess does not occur is not false. sent6: if the subsiding Peziza does not occur then the anoxemicness occurs. sent7: the aftermath happens. sent8: that the courteousness happens brings about that the subsiding mustachio happens. sent9: not the numbers but the corrections occurs. sent10: the fact that the self-gratification happens but the mininess does not occur is correct. sent11: the guarding March occurs and the heist occurs. sent12: that the show-stopper occurs is not false. sent13: the Proustianness happens. sent14: if the mininess happens then the subsiding mustachio occurs. sent15: the self-gratification happens. sent16: if the fact that the self-gratification does not occur hold that the names occurs and the vespers happens is not correct. sent17: that the vespers happens is brought about by that the idealizing observatory does not occur. sent18: the idealizing particle does not occur and the impureness does not occur. sent19: the prostration occurs if both the non-midiness and the suctorialness happens. sent20: that the courteousness does not occur but the run-up occurs prevents that the names does not occur. sent21: the run-up and the show-stopper occurs. ; $proof$ = 
sent10 -> int1: the mininess does not occur.; int1 & sent5 -> int2: the courteousness does not occur.; sent21 -> int3: the run-up happens.; int2 & int3 -> int4: both the discourteousness and the run-up happens.; int4 & sent20 -> int5: the naming happens.; sent2 -> int6: the idealizing observatory does not occur.; sent17 & int6 -> int7: the vespers happens.; int5 & int7 -> hypothesis; __PROVED__