that the recapitulation does not occur is not incorrect.
sent1: if the hooking does not occur either the hecatomb happens or the intriguing alum does not occur or both. sent2: if that the caper does not occur is true then the fact that not the yowling but the velarness occurs does not hold. sent3: the hecatomb happens and the reconstruction does not occur. sent4: the fact that both the hydroelectricity and the lapping sharpie occurs is true if the velar does not occur. sent5: the fact that the lapping Pneumovax occurs and the intriguing imperfective does not occur is false if the intriguing alum happens. sent6: the ape does not occur if both the hydroelectricity and the lapping sharpie happens. sent7: the activity occurs. sent8: that the hook does not occur but the saddening happens is triggered by that the aping does not occur. sent9: the fact that the lapping Pneumovax occurs and the intriguing imperfective happens is not right. sent10: the manualness does not occur. sent11: if the recapitulation occurs the lapping Pneumovax but not the intriguing imperfective occurs. sent12: if the intriguing alum does not occur the recapitulation but not the defacement happens. sent13: the intriguing alum happens. sent14: if the fact that the yowling does not occur and the velarness occurs is false the velarness does not occur.
void -> assump1: Let's assume that the recapitulation occurs.; sent11 & assump1 -> int1: the lapping Pneumovax but not the intriguing imperfective happens.; sent5 & sent13 -> int2: that the lapping Pneumovax but not the intriguing imperfective happens is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the defacement does not occur.
$hypothesis$ = that the recapitulation does not occur is not incorrect. ; $context$ = sent1: if the hooking does not occur either the hecatomb happens or the intriguing alum does not occur or both. sent2: if that the caper does not occur is true then the fact that not the yowling but the velarness occurs does not hold. sent3: the hecatomb happens and the reconstruction does not occur. sent4: the fact that both the hydroelectricity and the lapping sharpie occurs is true if the velar does not occur. sent5: the fact that the lapping Pneumovax occurs and the intriguing imperfective does not occur is false if the intriguing alum happens. sent6: the ape does not occur if both the hydroelectricity and the lapping sharpie happens. sent7: the activity occurs. sent8: that the hook does not occur but the saddening happens is triggered by that the aping does not occur. sent9: the fact that the lapping Pneumovax occurs and the intriguing imperfective happens is not right. sent10: the manualness does not occur. sent11: if the recapitulation occurs the lapping Pneumovax but not the intriguing imperfective occurs. sent12: if the intriguing alum does not occur the recapitulation but not the defacement happens. sent13: the intriguing alum happens. sent14: if the fact that the yowling does not occur and the velarness occurs is false the velarness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the recapitulation occurs.; sent11 & assump1 -> int1: the lapping Pneumovax but not the intriguing imperfective happens.; sent5 & sent13 -> int2: that the lapping Pneumovax but not the intriguing imperfective happens is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__