the undercutting petrolatum does not occur.
sent1: that if the emergency does not occur then the fact that the inducing grabber happens and the grating Novosibirsk occurs is incorrect is correct. sent2: if the inducing grabber does not occur then the fact that the insideness does not occur but the diphthongizing happens is not correct. sent3: the fact that the inducing hag does not occur is correct. sent4: the inextinguishableness prevents that the warm-up does not occur. sent5: if the grating ferry happens then that the inspection does not occur and the jointedness does not occur does not hold. sent6: the tertianness does not occur. sent7: that the undercutting petrolatum happens is prevented by the grating interval. sent8: the constipation happens and the pregnantness occurs. sent9: the ecotourism does not occur and the inextinguishableness occurs if the endoergicness happens. sent10: the warm-up does not occur. sent11: if the constipation happens and the pregnantness occurs then the inspection does not occur. sent12: the pregnantness happens. sent13: the grating interval does not occur if the warm-up but not the grating ferry happens. sent14: that the undercutting petrolatum does not occur is caused by that the grating interval happens and/or that the jointing occurs. sent15: the undercutting sexist occurs and the endoergicness occurs if the assertiveness does not occur. sent16: if that both the non-insideness and the diphthongizing happens does not hold then the grating ferry does not occur. sent17: if the fact that the inducing grabber occurs and the grating Novosibirsk happens is incorrect then the inducing grabber does not occur. sent18: that the transitiveness does not occur and the jihad does not occur is not right. sent19: the grating ferry but not the warm-up occurs.
sent11 & sent8 -> int1: the inspection does not occur.; void -> assump1: Let's assume that the jointing does not occur.; int1 & assump1 -> int2: the inspection does not occur and the jointedness does not occur.; sent19 -> int3: the grating ferry occurs.; sent5 & int3 -> int4: that the inspection does not occur and the jointed does not occur is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jointed occurs.; int6 -> int7: the grating interval happens or the jointed happens or both.; int7 & sent14 -> hypothesis;
the undercutting petrolatum occurs.
$hypothesis$ = the undercutting petrolatum does not occur. ; $context$ = sent1: that if the emergency does not occur then the fact that the inducing grabber happens and the grating Novosibirsk occurs is incorrect is correct. sent2: if the inducing grabber does not occur then the fact that the insideness does not occur but the diphthongizing happens is not correct. sent3: the fact that the inducing hag does not occur is correct. sent4: the inextinguishableness prevents that the warm-up does not occur. sent5: if the grating ferry happens then that the inspection does not occur and the jointedness does not occur does not hold. sent6: the tertianness does not occur. sent7: that the undercutting petrolatum happens is prevented by the grating interval. sent8: the constipation happens and the pregnantness occurs. sent9: the ecotourism does not occur and the inextinguishableness occurs if the endoergicness happens. sent10: the warm-up does not occur. sent11: if the constipation happens and the pregnantness occurs then the inspection does not occur. sent12: the pregnantness happens. sent13: the grating interval does not occur if the warm-up but not the grating ferry happens. sent14: that the undercutting petrolatum does not occur is caused by that the grating interval happens and/or that the jointing occurs. sent15: the undercutting sexist occurs and the endoergicness occurs if the assertiveness does not occur. sent16: if that both the non-insideness and the diphthongizing happens does not hold then the grating ferry does not occur. sent17: if the fact that the inducing grabber occurs and the grating Novosibirsk happens is incorrect then the inducing grabber does not occur. sent18: that the transitiveness does not occur and the jihad does not occur is not right. sent19: the grating ferry but not the warm-up occurs. ; $proof$ = 
sent11 & sent8 -> int1: the inspection does not occur.; void -> assump1: Let's assume that the jointing does not occur.; int1 & assump1 -> int2: the inspection does not occur and the jointedness does not occur.; sent19 -> int3: the grating ferry occurs.; sent5 & int3 -> int4: that the inspection does not occur and the jointed does not occur is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jointed occurs.; int6 -> int7: the grating interval happens or the jointed happens or both.; int7 & sent14 -> hypothesis; __PROVED__