the rejoinder does not occur.
sent1: the plication does not occur. sent2: the hooking periwinkle occurs. sent3: the deflating thistledown does not occur. sent4: if the hooking periwinkle and the rejoinder occurs then the unservileness does not occur. sent5: that the troll does not occur yields that the anabioticness and the annual happens. sent6: the irrevocableness happens. sent7: the deflating Cornwall does not occur. sent8: the spiraling abortifacient happens. sent9: the phrenologicalness happens. sent10: the surgicalness occurs. sent11: the recce occurs if that the rejoinder does not occur and the recce does not occur does not hold. sent12: that the prostatectomy and the pressure happens prevents that the singing happens. sent13: if that the plication does not occur is right then the porphyriticness happens and the unservileness occurs.
void -> assump1: Let's assume that the rejoinder occurs.; sent2 & assump1 -> int1: the hooking periwinkle happens and the rejoinder happens.; int1 & sent4 -> int2: that the unservileness does not occur is correct.; sent13 & sent1 -> int3: both the porphyriticness and the unservileness happens.; int3 -> int4: the unservileness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the recce occurs.
$hypothesis$ = the rejoinder does not occur. ; $context$ = sent1: the plication does not occur. sent2: the hooking periwinkle occurs. sent3: the deflating thistledown does not occur. sent4: if the hooking periwinkle and the rejoinder occurs then the unservileness does not occur. sent5: that the troll does not occur yields that the anabioticness and the annual happens. sent6: the irrevocableness happens. sent7: the deflating Cornwall does not occur. sent8: the spiraling abortifacient happens. sent9: the phrenologicalness happens. sent10: the surgicalness occurs. sent11: the recce occurs if that the rejoinder does not occur and the recce does not occur does not hold. sent12: that the prostatectomy and the pressure happens prevents that the singing happens. sent13: if that the plication does not occur is right then the porphyriticness happens and the unservileness occurs. ; $proof$ = 
void -> assump1: Let's assume that the rejoinder occurs.; sent2 & assump1 -> int1: the hooking periwinkle happens and the rejoinder happens.; int1 & sent4 -> int2: that the unservileness does not occur is correct.; sent13 & sent1 -> int3: both the porphyriticness and the unservileness happens.; int3 -> int4: the unservileness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__