that the distribution does not occur and the naming occurs is caused by that the wafting occurs.
sent1: the fact that the timing happens and the biaxialness occurs is not right. sent2: if the luging happens the distribution does not occur. sent3: if the jamming happens then the fact that the contradistinguishing commutation but not the volition happens is false. sent4: that the timing and the biaxialness occurs is wrong if the wafting occurs. sent5: that not the distribution but the names happens is brought about by that the luging happens. sent6: if the wafting happens then that both the timing and the non-biaxialness occurs is not correct. sent7: that the biaxialness happens prevents that the nonevent does not occur. sent8: that the nonevent occurs prevents that the luging does not occur. sent9: the fact that the bumming happens and the canceling lincomycin does not occur is incorrect if the wafting does not occur. sent10: if the wafting happens then the distribution does not occur. sent11: if that the timing and the non-biaxialness occurs is not true the nonevent happens. sent12: the distribution does not occur.
void -> assump1: Let's assume that the wafting happens.; sent6 & assump1 -> int1: that the timing and the non-biaxialness occurs does not hold.; sent11 & int1 -> int2: the nonevent happens.; sent8 & int2 -> int3: the luging occurs.; sent5 & int3 -> int4: the distribution does not occur but the naming happens.; [assump1] & int4 -> hypothesis;
that the fact that the bumming happens and the canceling lincomycin does not occur hold is false.
$hypothesis$ = that the distribution does not occur and the naming occurs is caused by that the wafting occurs. ; $context$ = sent1: the fact that the timing happens and the biaxialness occurs is not right. sent2: if the luging happens the distribution does not occur. sent3: if the jamming happens then the fact that the contradistinguishing commutation but not the volition happens is false. sent4: that the timing and the biaxialness occurs is wrong if the wafting occurs. sent5: that not the distribution but the names happens is brought about by that the luging happens. sent6: if the wafting happens then that both the timing and the non-biaxialness occurs is not correct. sent7: that the biaxialness happens prevents that the nonevent does not occur. sent8: that the nonevent occurs prevents that the luging does not occur. sent9: the fact that the bumming happens and the canceling lincomycin does not occur is incorrect if the wafting does not occur. sent10: if the wafting happens then the distribution does not occur. sent11: if that the timing and the non-biaxialness occurs is not true the nonevent happens. sent12: the distribution does not occur. ; $proof$ = 
void -> assump1: Let's assume that the wafting happens.; sent6 & assump1 -> int1: that the timing and the non-biaxialness occurs does not hold.; sent11 & int1 -> int2: the nonevent happens.; sent8 & int2 -> int3: the luging occurs.; sent5 & int3 -> int4: the distribution does not occur but the naming happens.; [assump1] & int4 -> hypothesis; __PROVED__