the fact that the jumbling frustum does not occur is correct.
sent1: that the tinkling duke does not occur is brought about by that the jumbling frustum occurs. sent2: the interlocking glyburide occurs. sent3: both the transitiveness and the non-upper-classness occurs if the do-si-do does not occur. sent4: if that the intransitive occurs and the synchronousness happens is incorrect the synchronousness does not occur. sent5: the intransitiveness happens if the gastrointestinalness does not occur and/or the synchronousness occurs. sent6: the upper-classness does not occur if the do-si-do does not occur. sent7: the gastrointestinalness does not occur if the fact that either the transitiveness or the non-synchronousness or both happens does not hold. sent8: that both the intransitiveness and the synchronousness happens is wrong if the upper-classness does not occur. sent9: if the synchronousness occurs then the intransitive occurs. sent10: the upper-classness does not occur. sent11: the do-si-do does not occur.
void -> assump1: Let's assume that the jumbling frustum happens.; sent1 & assump1 -> int1: the tinkling duke does not occur.; sent3 & sent11 -> int2: the transitiveness and the non-upper-classness happens.; int2 -> int3: the intransitive does not occur.;
the infectiousness does not occur.
$hypothesis$ = the fact that the jumbling frustum does not occur is correct. ; $context$ = sent1: that the tinkling duke does not occur is brought about by that the jumbling frustum occurs. sent2: the interlocking glyburide occurs. sent3: both the transitiveness and the non-upper-classness occurs if the do-si-do does not occur. sent4: if that the intransitive occurs and the synchronousness happens is incorrect the synchronousness does not occur. sent5: the intransitiveness happens if the gastrointestinalness does not occur and/or the synchronousness occurs. sent6: the upper-classness does not occur if the do-si-do does not occur. sent7: the gastrointestinalness does not occur if the fact that either the transitiveness or the non-synchronousness or both happens does not hold. sent8: that both the intransitiveness and the synchronousness happens is wrong if the upper-classness does not occur. sent9: if the synchronousness occurs then the intransitive occurs. sent10: the upper-classness does not occur. sent11: the do-si-do does not occur. ; $proof$ = 
void -> assump1: Let's assume that the jumbling frustum happens.; sent1 & assump1 -> int1: the tinkling duke does not occur.; sent3 & sent11 -> int2: the transitiveness and the non-upper-classness happens.; int2 -> int3: the intransitive does not occur.; __UNKNOWN__