that the rending does not occur is not wrong.
sent1: both the southness and the leadership occurs. sent2: that the rending occurs and the leading occurs prevents that the doddle happens. sent3: if the fact that both the basic and the autoeciousness occurs is not right then that the basic does not occur is correct. sent4: if that both the algorithmicness and the rumble occurs does not hold the rumble does not occur. sent5: the fact that if the encroaching does not occur the fact that the algorithmicness occurs and the rumble occurs is false is not wrong. sent6: the leading happens. sent7: the exploration happens. sent8: the non-basicness results in that the anti-semiticness and the lay-up occurs. sent9: that the leading occurs but the doddle does not occur is not right if the anti-semiticness occurs. sent10: the fact that that the basicness happens and the autoeciousness occurs is right does not hold if the rumbling does not occur.
void -> assump1: Let's assume that the rending occurs.; assump1 & sent6 -> int1: the rending and the leading occurs.; int1 & sent2 -> int2: the doddle does not occur.;
the rending occurs.
$hypothesis$ = that the rending does not occur is not wrong. ; $context$ = sent1: both the southness and the leadership occurs. sent2: that the rending occurs and the leading occurs prevents that the doddle happens. sent3: if the fact that both the basic and the autoeciousness occurs is not right then that the basic does not occur is correct. sent4: if that both the algorithmicness and the rumble occurs does not hold the rumble does not occur. sent5: the fact that if the encroaching does not occur the fact that the algorithmicness occurs and the rumble occurs is false is not wrong. sent6: the leading happens. sent7: the exploration happens. sent8: the non-basicness results in that the anti-semiticness and the lay-up occurs. sent9: that the leading occurs but the doddle does not occur is not right if the anti-semiticness occurs. sent10: the fact that that the basicness happens and the autoeciousness occurs is right does not hold if the rumbling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rending occurs.; assump1 & sent6 -> int1: the rending and the leading occurs.; int1 & sent2 -> int2: the doddle does not occur.; __UNKNOWN__