that the maintaining does not occur hold.
sent1: the pinealness and the metabolizing acne occurs. sent2: the eldership and the replicating intrusion occurs. sent3: the replicating weed does not occur. sent4: the fact that the replicating auklet does not occur does not hold. sent5: if the replicating blacklist does not occur then the metabolizing Leptotyphlopidae does not occur. sent6: the maintaining does not occur if the fact that the startling and/or the unclearness occurs is false. sent7: the dancing happens. sent8: the unintrusiveness and the eldership occurs. sent9: the damasceneness happens. sent10: the frontal and the squiring Simeon happens. sent11: if both the pinealness and the replicating blacklist happens then the replicating auklet does not occur.
sent1 -> int1: the pinealness happens.; void -> assump1: Let's assume that the replicating blacklist occurs.; int1 & assump1 -> int2: both the pinealness and the replicating blacklist occurs.; int2 & sent11 -> int3: the replicating auklet does not occur.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the replicating blacklist does not occur.; int5 & sent5 -> int6: the metabolizing Leptotyphlopidae does not occur.;
$hypothesis$ = that the maintaining does not occur hold. ; $context$ = sent1: the pinealness and the metabolizing acne occurs. sent2: the eldership and the replicating intrusion occurs. sent3: the replicating weed does not occur. sent4: the fact that the replicating auklet does not occur does not hold. sent5: if the replicating blacklist does not occur then the metabolizing Leptotyphlopidae does not occur. sent6: the maintaining does not occur if the fact that the startling and/or the unclearness occurs is false. sent7: the dancing happens. sent8: the unintrusiveness and the eldership occurs. sent9: the damasceneness happens. sent10: the frontal and the squiring Simeon happens. sent11: if both the pinealness and the replicating blacklist happens then the replicating auklet does not occur. ; $proof$ = 
sent1 -> int1: the pinealness happens.; void -> assump1: Let's assume that the replicating blacklist occurs.; int1 & assump1 -> int2: both the pinealness and the replicating blacklist occurs.; int2 & sent11 -> int3: the replicating auklet does not occur.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the replicating blacklist does not occur.; int5 & sent5 -> int6: the metabolizing Leptotyphlopidae does not occur.; __UNKNOWN__