the lindy occurs.
sent1: that the uncorking Angevin does not occur and the uncorking contradictoriness does not occur is triggered by that the uncorking stratum does not occur. sent2: that the uncorking Angevin does not occur yields that the tangentialness and the lindy occurs. sent3: the narrating burdened happens. sent4: the lindy occurs. sent5: if the vitreousness occurs then the fact that the uncorking stratum and the non-insecureness happens does not hold. sent6: the fact that the uncorking contradictoriness happens and the insecureness occurs does not hold if the uncorking stratum does not occur. sent7: the uncorking Angevin does not occur and the lindy does not occur if the uncorking contradictoriness does not occur. sent8: the going-over happens. sent9: the binding encephalography occurs. sent10: if the bulbaceousness does not occur then the vitreousness occurs and the decoration occurs. sent11: that the uncorking stratum does not occur is correct if that the fact that the uncorking stratum but not the insecureness happens is correct is wrong. sent12: the undercut happens. sent13: the uncorking waxing happens.
sent4 -> hypothesis;
the tangentialness occurs.
$hypothesis$ = the lindy occurs. ; $context$ = sent1: that the uncorking Angevin does not occur and the uncorking contradictoriness does not occur is triggered by that the uncorking stratum does not occur. sent2: that the uncorking Angevin does not occur yields that the tangentialness and the lindy occurs. sent3: the narrating burdened happens. sent4: the lindy occurs. sent5: if the vitreousness occurs then the fact that the uncorking stratum and the non-insecureness happens does not hold. sent6: the fact that the uncorking contradictoriness happens and the insecureness occurs does not hold if the uncorking stratum does not occur. sent7: the uncorking Angevin does not occur and the lindy does not occur if the uncorking contradictoriness does not occur. sent8: the going-over happens. sent9: the binding encephalography occurs. sent10: if the bulbaceousness does not occur then the vitreousness occurs and the decoration occurs. sent11: that the uncorking stratum does not occur is correct if that the fact that the uncorking stratum but not the insecureness happens is correct is wrong. sent12: the undercut happens. sent13: the uncorking waxing happens. ; $proof$ = 
sent4 -> hypothesis; __PROVED__