the encore happens.
sent1: that the eluting acme does not occur results in the burnup or that the radiography does not occur or both. sent2: the chronologicalness does not occur if the radiography happens. sent3: the uranoplasty does not occur if the representation occurs and the looming tolerance does not occur. sent4: the eluting acme does not occur if the fact that both the eluting acme and the looming barbecued happens does not hold. sent5: that both the eluting acme and the looming barbecued happens is not right if the ruse does not occur. sent6: the bloodlessness happens but the lightning does not occur. sent7: the bounce happens and the offer does not occur. sent8: that the bloodlessness and the lightning happens results in that the mediation does not occur. sent9: if the bounce occurs and the particularisticness happens then the ruse does not occur. sent10: the radiography occurs. sent11: if the mediation does not occur and the chronologicalness does not occur the encoring occurs. sent12: that the radiography happens is prevented by that the burnup happens or that the radiography does not occur or both. sent13: the fact that both the non-chronologicalness and the mediation happens is wrong if the radiography does not occur. sent14: if the bloodlessness happens but the lightning does not occur the mediation does not occur. sent15: the lightning does not occur.
sent14 & sent6 -> int1: that the mediation does not occur is true.; sent2 & sent10 -> int2: the chronologicalness does not occur.; int1 & int2 -> int3: the mediation does not occur and the chronologicalness does not occur.; int3 & sent11 -> hypothesis;
the encore does not occur.
sent7 -> int4: the bouncing occurs.;
$hypothesis$ = the encore happens. ; $context$ = sent1: that the eluting acme does not occur results in the burnup or that the radiography does not occur or both. sent2: the chronologicalness does not occur if the radiography happens. sent3: the uranoplasty does not occur if the representation occurs and the looming tolerance does not occur. sent4: the eluting acme does not occur if the fact that both the eluting acme and the looming barbecued happens does not hold. sent5: that both the eluting acme and the looming barbecued happens is not right if the ruse does not occur. sent6: the bloodlessness happens but the lightning does not occur. sent7: the bounce happens and the offer does not occur. sent8: that the bloodlessness and the lightning happens results in that the mediation does not occur. sent9: if the bounce occurs and the particularisticness happens then the ruse does not occur. sent10: the radiography occurs. sent11: if the mediation does not occur and the chronologicalness does not occur the encoring occurs. sent12: that the radiography happens is prevented by that the burnup happens or that the radiography does not occur or both. sent13: the fact that both the non-chronologicalness and the mediation happens is wrong if the radiography does not occur. sent14: if the bloodlessness happens but the lightning does not occur the mediation does not occur. sent15: the lightning does not occur. ; $proof$ = 
sent14 & sent6 -> int1: that the mediation does not occur is true.; sent2 & sent10 -> int2: the chronologicalness does not occur.; int1 & int2 -> int3: the mediation does not occur and the chronologicalness does not occur.; int3 & sent11 -> hypothesis; __PROVED__