that the noneffervescentness does not occur and the positivist does not occur is caused by the refreshing values.
sent1: the positivistness does not occur. sent2: if the fact that the dithyrambicness does not occur is not false then that both the non-Andeanness and the cutting occurs does not hold. sent3: that the dumping mollie does not occur yields that the cutting happens. sent4: if the inguinalness does not occur then the dithyrambicness does not occur. sent5: the inguinalness does not occur. sent6: the dumping mollie does not occur.
void -> assump2: Let's assume that the refreshing values occurs.; void -> assump1: Let's assume that the noneffervescentness happens.; assump2 & assump1 -> int1: that both the refreshing values and the noneffervescentness happens is not incorrect.; sent3 & sent6 -> int2: the cuttingness happens.; sent4 & sent5 -> int3: the dithyrambicness does not occur.; sent2 & int3 -> int4: the fact that that the non-Andeanness and the cuttingness happens is not false is not right.;
$hypothesis$ = that the noneffervescentness does not occur and the positivist does not occur is caused by the refreshing values. ; $context$ = sent1: the positivistness does not occur. sent2: if the fact that the dithyrambicness does not occur is not false then that both the non-Andeanness and the cutting occurs does not hold. sent3: that the dumping mollie does not occur yields that the cutting happens. sent4: if the inguinalness does not occur then the dithyrambicness does not occur. sent5: the inguinalness does not occur. sent6: the dumping mollie does not occur. ; $proof$ = 
void -> assump2: Let's assume that the refreshing values occurs.; void -> assump1: Let's assume that the noneffervescentness happens.; assump2 & assump1 -> int1: that both the refreshing values and the noneffervescentness happens is not incorrect.; sent3 & sent6 -> int2: the cuttingness happens.; sent4 & sent5 -> int3: the dithyrambicness does not occur.; sent2 & int3 -> int4: the fact that that the non-Andeanness and the cuttingness happens is not false is not right.; __UNKNOWN__