the flickering overspill does not occur.
sent1: if the fact that the rating happens is correct then that the weightlift does not occur and the prolateness occurs is false. sent2: the prolateness does not occur if that not the weightlift but the prolateness happens is incorrect. sent3: if the inflexibleness happens but the peroration does not occur the geysering undershrub does not occur. sent4: the flickering radiology but not the thermogravimetry occurs. sent5: the nomination happens. sent6: if the flickering condemnation does not occur then both the nomination and the geysering used-car happens. sent7: if the prolateness does not occur that the geysering stewing and the stick happens is not right. sent8: that the flickering condemnation does not occur and the knocking bunsen does not occur is brought about by the geysering accordion. sent9: the Crusade occurs if the bubalineness occurs. sent10: the nonproprietariness does not occur if the church happens and the geysering quaintness does not occur. sent11: the cock-a-doodle-doo does not occur and/or the rating occurs. sent12: the flickering overspill does not occur if the counterbombardment occurs and the redeeming does not occur. sent13: if the Crusade happens and the flickering radiology happens then the redeeming does not occur. sent14: the geysering microgametophyte happens if the fact that the geysering irreproducibility occurs hold. sent15: if the cock-a-doodle-doo does not occur and/or the rating happens then the fact that the rating happens is not false. sent16: the flickering overspill occurs if the Crusade does not occur and the bubalineness occurs. sent17: the bubalineness occurs. sent18: the thermogravimetry does not occur if the anticyclonicness occurs and the nomination occurs. sent19: the drinking does not occur. sent20: the counterbombardment happens and the nomination occurs. sent21: both the respite and the flickering epidiascope occurs. sent22: the anticyclonicness happens and the novation happens if the knocking fir does not occur. sent23: the thermogravimetry does not occur. sent24: the roofing happens. sent25: the knocking fir does not occur if that the geysering stewing and the stick occurs is not correct.
sent9 & sent17 -> int1: that the Crusade happens hold.; sent4 -> int2: the flickering radiology happens.; int1 & int2 -> int3: both the Crusade and the flickering radiology happens.; int3 & sent13 -> int4: the redeeming does not occur.; sent20 -> int5: the counterbombardment occurs.; int4 & int5 -> int6: the counterbombardment but not the redeeming occurs.; int6 & sent12 -> hypothesis;
the flickering overspill occurs.
sent15 & sent11 -> int7: the rating occurs.; sent1 & int7 -> int8: the fact that the fact that the weightlift does not occur and the prolateness happens is not right is not false.; sent2 & int8 -> int9: that the prolateness does not occur is not false.; sent7 & int9 -> int10: the fact that the geysering stewing happens and the sticking happens does not hold.; sent25 & int10 -> int11: the knocking fir does not occur.; sent22 & int11 -> int12: the anticyclonicness happens and the novation happens.; int12 -> int13: the anticyclonicness occurs.;
$hypothesis$ = the flickering overspill does not occur. ; $context$ = sent1: if the fact that the rating happens is correct then that the weightlift does not occur and the prolateness occurs is false. sent2: the prolateness does not occur if that not the weightlift but the prolateness happens is incorrect. sent3: if the inflexibleness happens but the peroration does not occur the geysering undershrub does not occur. sent4: the flickering radiology but not the thermogravimetry occurs. sent5: the nomination happens. sent6: if the flickering condemnation does not occur then both the nomination and the geysering used-car happens. sent7: if the prolateness does not occur that the geysering stewing and the stick happens is not right. sent8: that the flickering condemnation does not occur and the knocking bunsen does not occur is brought about by the geysering accordion. sent9: the Crusade occurs if the bubalineness occurs. sent10: the nonproprietariness does not occur if the church happens and the geysering quaintness does not occur. sent11: the cock-a-doodle-doo does not occur and/or the rating occurs. sent12: the flickering overspill does not occur if the counterbombardment occurs and the redeeming does not occur. sent13: if the Crusade happens and the flickering radiology happens then the redeeming does not occur. sent14: the geysering microgametophyte happens if the fact that the geysering irreproducibility occurs hold. sent15: if the cock-a-doodle-doo does not occur and/or the rating happens then the fact that the rating happens is not false. sent16: the flickering overspill occurs if the Crusade does not occur and the bubalineness occurs. sent17: the bubalineness occurs. sent18: the thermogravimetry does not occur if the anticyclonicness occurs and the nomination occurs. sent19: the drinking does not occur. sent20: the counterbombardment happens and the nomination occurs. sent21: both the respite and the flickering epidiascope occurs. sent22: the anticyclonicness happens and the novation happens if the knocking fir does not occur. sent23: the thermogravimetry does not occur. sent24: the roofing happens. sent25: the knocking fir does not occur if that the geysering stewing and the stick occurs is not correct. ; $proof$ = 
sent9 & sent17 -> int1: that the Crusade happens hold.; sent4 -> int2: the flickering radiology happens.; int1 & int2 -> int3: both the Crusade and the flickering radiology happens.; int3 & sent13 -> int4: the redeeming does not occur.; sent20 -> int5: the counterbombardment occurs.; int4 & int5 -> int6: the counterbombardment but not the redeeming occurs.; int6 & sent12 -> hypothesis; __PROVED__