the cornealness does not occur.
sent1: the jumping does not occur if the silencing raging does not occur. sent2: that the dispensation occurs and the scouring incurable occurs yields that the silencing raging does not occur. sent3: the consubstantialness happens. sent4: the caudate is brought about by that the dispensation does not occur. sent5: that the stretch does not occur prevents that the consubstantialness does not occur. sent6: the cornealness does not occur if not the unmodifiableness but the caudate occurs. sent7: if the fact that the stretching happens and the self-control happens is not true then the stretching does not occur. sent8: that both the jump and the consubstantialness happens is brought about by that the stretch does not occur. sent9: that that both the stretching and the self-control happens is not correct is true. sent10: the caudate occurs. sent11: both the modifiableness and the caudate happens if the dispensation does not occur.
void -> assump1: Let's assume that the dispensation happens.; sent7 & sent9 -> int1: that the stretch happens is not true.; sent8 & int1 -> int2: both the jumping and the consubstantialness happens.; int2 -> int3: the jumping occurs.;
$hypothesis$ = the cornealness does not occur. ; $context$ = sent1: the jumping does not occur if the silencing raging does not occur. sent2: that the dispensation occurs and the scouring incurable occurs yields that the silencing raging does not occur. sent3: the consubstantialness happens. sent4: the caudate is brought about by that the dispensation does not occur. sent5: that the stretch does not occur prevents that the consubstantialness does not occur. sent6: the cornealness does not occur if not the unmodifiableness but the caudate occurs. sent7: if the fact that the stretching happens and the self-control happens is not true then the stretching does not occur. sent8: that both the jump and the consubstantialness happens is brought about by that the stretch does not occur. sent9: that that both the stretching and the self-control happens is not correct is true. sent10: the caudate occurs. sent11: both the modifiableness and the caudate happens if the dispensation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dispensation happens.; sent7 & sent9 -> int1: that the stretch happens is not true.; sent8 & int1 -> int2: both the jumping and the consubstantialness happens.; int2 -> int3: the jumping occurs.; __UNKNOWN__