that the computerization occurs results in that both the non-lobarness and the aposiopeticness occurs.
sent1: the crediting does not occur. sent2: the papilliformness does not occur and the conviviality does not occur if the yips does not occur. sent3: that the credits does not occur brings about that the platinizing contumacy occurs but the yips does not occur. sent4: the fact that the folding stridulation occurs is not wrong. sent5: if the maturing but not the nonobservance occurs then that the lobarness does not occur is correct. sent6: if the assertion does not occur that the maturing occurs but the nonobservance does not occur hold. sent7: if the computerization happens and the folding stridulation occurs the assertion does not occur.
void -> assump1: Let's assume that that the computerization happens is true.; assump1 & sent4 -> int1: the computerization happens and the folding stridulation happens.; int1 & sent7 -> int2: the assertion does not occur.; int2 & sent6 -> int3: the matureness happens but the nonobservance does not occur.; int3 & sent5 -> int4: the lobarness does not occur.; sent3 & sent1 -> int5: the platinizing contumacy occurs but the yips does not occur.; int5 -> int6: the yips does not occur.; sent2 & int6 -> int7: the papilliformness does not occur and the conviviality does not occur.;
$hypothesis$ = that the computerization occurs results in that both the non-lobarness and the aposiopeticness occurs. ; $context$ = sent1: the crediting does not occur. sent2: the papilliformness does not occur and the conviviality does not occur if the yips does not occur. sent3: that the credits does not occur brings about that the platinizing contumacy occurs but the yips does not occur. sent4: the fact that the folding stridulation occurs is not wrong. sent5: if the maturing but not the nonobservance occurs then that the lobarness does not occur is correct. sent6: if the assertion does not occur that the maturing occurs but the nonobservance does not occur hold. sent7: if the computerization happens and the folding stridulation occurs the assertion does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the computerization happens is true.; assump1 & sent4 -> int1: the computerization happens and the folding stridulation happens.; int1 & sent7 -> int2: the assertion does not occur.; int2 & sent6 -> int3: the matureness happens but the nonobservance does not occur.; int3 & sent5 -> int4: the lobarness does not occur.; sent3 & sent1 -> int5: the platinizing contumacy occurs but the yips does not occur.; int5 -> int6: the yips does not occur.; sent2 & int6 -> int7: the papilliformness does not occur and the conviviality does not occur.; __UNKNOWN__