that the uncorking EBV does not occur brings about that the underageness occurs and the easternness occurs.
sent1: the fact that the cupping but not the carrot occurs is not false if the lineman happens. sent2: the carrot occurs. sent3: that both the underageness and the easternness happens is brought about by that the uncorking EBV occurs. sent4: the hardness happens. sent5: the metacentricness does not occur. sent6: that the underageness happens hold if the uncorking EBV occurs. sent7: if the denigration occurs then the implosion occurs and the intimating occurs. sent8: the underageness happens if the uncorking EBV does not occur. sent9: the lineman happens if the hardness occurs but the liturgy does not occur. sent10: the thickening happens. sent11: that the carrot does not occur brings about that the skedaddle occurs and the uncorking EBV happens.
void -> assump1: Let's assume that that the uncorking EBV does not occur is correct.; sent8 & assump1 -> int1: the underageness happens.;
both the skedaddling and the cranialness occurs.
$hypothesis$ = that the uncorking EBV does not occur brings about that the underageness occurs and the easternness occurs. ; $context$ = sent1: the fact that the cupping but not the carrot occurs is not false if the lineman happens. sent2: the carrot occurs. sent3: that both the underageness and the easternness happens is brought about by that the uncorking EBV occurs. sent4: the hardness happens. sent5: the metacentricness does not occur. sent6: that the underageness happens hold if the uncorking EBV occurs. sent7: if the denigration occurs then the implosion occurs and the intimating occurs. sent8: the underageness happens if the uncorking EBV does not occur. sent9: the lineman happens if the hardness occurs but the liturgy does not occur. sent10: the thickening happens. sent11: that the carrot does not occur brings about that the skedaddle occurs and the uncorking EBV happens. ; $proof$ = 
void -> assump1: Let's assume that that the uncorking EBV does not occur is correct.; sent8 & assump1 -> int1: the underageness happens.; __UNKNOWN__