if the enacting nyctophobia does not occur then the oculism occurs and the undergrowing happens.
sent1: the lifework and the enacting waw occurs. sent2: that the connotativeness happens brings about that the enacting nyctophobia occurs. sent3: if the lifework occurs then that the demising jellyleaf occurs and the undergrowing does not occur is wrong. sent4: the bituminoidness prevents that the benediction does not occur. sent5: that the lapidariness happens but the slating does not occur results in the sponging. sent6: the enacting waw occurs. sent7: the stampeding kennel does not occur. sent8: that the demising jellyleaf and the undergrowing happens is wrong. sent9: the undergrowing occurs if that the demising jellyleaf but not the undergrowing happens is false. sent10: that the stampeding kennel does not occur and the two-pieceness does not occur yields that the oculism occurs. sent11: if the fact that the stampeding kennel does not occur and the two-piece does not occur is wrong then that the connotativeness occurs hold.
void -> assump1: Let's assume that the fact that the stampeding kennel does not occur and the two-pieceness does not occur does not hold.; sent11 & assump1 -> int1: the connotativeness happens.; int1 & sent2 -> int2: the enacting nyctophobia occurs.; void -> assump2: Let's assume that the enacting nyctophobia does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stampeding kennel does not occur and the two-pieceness does not occur.; int4 & sent10 -> int5: the oculism occurs.; sent1 -> int6: the fact that the lifework occurs is not false.; sent3 & int6 -> int7: that the demising jellyleaf but not the undergrowing occurs is not correct.; sent9 & int7 -> int8: the undergrowing occurs.; int5 & int8 -> int9: the oculism and the undergrowing happens.; [assump2] & int9 -> hypothesis;
$hypothesis$ = if the enacting nyctophobia does not occur then the oculism occurs and the undergrowing happens. ; $context$ = sent1: the lifework and the enacting waw occurs. sent2: that the connotativeness happens brings about that the enacting nyctophobia occurs. sent3: if the lifework occurs then that the demising jellyleaf occurs and the undergrowing does not occur is wrong. sent4: the bituminoidness prevents that the benediction does not occur. sent5: that the lapidariness happens but the slating does not occur results in the sponging. sent6: the enacting waw occurs. sent7: the stampeding kennel does not occur. sent8: that the demising jellyleaf and the undergrowing happens is wrong. sent9: the undergrowing occurs if that the demising jellyleaf but not the undergrowing happens is false. sent10: that the stampeding kennel does not occur and the two-pieceness does not occur yields that the oculism occurs. sent11: if the fact that the stampeding kennel does not occur and the two-piece does not occur is wrong then that the connotativeness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the stampeding kennel does not occur and the two-pieceness does not occur does not hold.; sent11 & assump1 -> int1: the connotativeness happens.; int1 & sent2 -> int2: the enacting nyctophobia occurs.; void -> assump2: Let's assume that the enacting nyctophobia does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stampeding kennel does not occur and the two-pieceness does not occur.; int4 & sent10 -> int5: the oculism occurs.; sent1 -> int6: the fact that the lifework occurs is not false.; sent3 & int6 -> int7: that the demising jellyleaf but not the undergrowing occurs is not correct.; sent9 & int7 -> int8: the undergrowing occurs.; int5 & int8 -> int9: the oculism and the undergrowing happens.; [assump2] & int9 -> hypothesis; __PROVED__