the incommutableness does not occur.
sent1: the fact that the model does not occur and the lowbornness happens does not hold. sent2: if the waltzing occurs then that both the riptide and the non-streptococcalness occurs is wrong. sent3: the fact that the modeling does not occur and the lowbornness does not occur is not true if the waltz does not occur. sent4: the lockup does not occur if that the riptide but not the streptococcalness happens is incorrect. sent5: the incommutableness does not occur if the fact that the model does not occur and the lowbornness does not occur is false. sent6: the articulating langur occurs and the geometricness happens. sent7: the fact that the model and the non-lowbornness happens is incorrect if the waltzing does not occur. sent8: the lockup happens if the articulating langur occurs.
void -> assump1: Let's assume that the waltzing occurs.; sent2 & assump1 -> int1: the fact that that the riptide and the non-streptococcalness occurs is wrong hold.; int1 & sent4 -> int2: the lockup does not occur.; sent6 -> int3: the articulating langur occurs.; sent8 & int3 -> int4: the lockup happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the waltz does not occur is not wrong.; int6 & sent3 -> int7: that the model does not occur and the lowbornness does not occur is wrong.; int7 & sent5 -> hypothesis;
$hypothesis$ = the incommutableness does not occur. ; $context$ = sent1: the fact that the model does not occur and the lowbornness happens does not hold. sent2: if the waltzing occurs then that both the riptide and the non-streptococcalness occurs is wrong. sent3: the fact that the modeling does not occur and the lowbornness does not occur is not true if the waltz does not occur. sent4: the lockup does not occur if that the riptide but not the streptococcalness happens is incorrect. sent5: the incommutableness does not occur if the fact that the model does not occur and the lowbornness does not occur is false. sent6: the articulating langur occurs and the geometricness happens. sent7: the fact that the model and the non-lowbornness happens is incorrect if the waltzing does not occur. sent8: the lockup happens if the articulating langur occurs. ; $proof$ = 
void -> assump1: Let's assume that the waltzing occurs.; sent2 & assump1 -> int1: the fact that that the riptide and the non-streptococcalness occurs is wrong hold.; int1 & sent4 -> int2: the lockup does not occur.; sent6 -> int3: the articulating langur occurs.; sent8 & int3 -> int4: the lockup happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the waltz does not occur is not wrong.; int6 & sent3 -> int7: that the model does not occur and the lowbornness does not occur is wrong.; int7 & sent5 -> hypothesis; __PROVED__