the parabolicness does not occur.
sent1: the dithyrambicness occurs. sent2: the non-ecdemicness is brought about by that the dithyrambicness happens and the rum happens. sent3: the prelims does not occur and the acceptance does not occur. sent4: the valvotomy does not occur. sent5: the entr'acte and the affine happens if the prelims does not occur. sent6: if the conformistness does not occur the sedimentariness occurs and the ecdemicness happens. sent7: that the conformist does not occur is not incorrect.
void -> assump1: Let's assume that that the rum occurs is true.; sent1 & assump1 -> int1: both the dithyrambicness and the rum happens.; int1 & sent2 -> int2: the ecdemicness does not occur.; sent6 & sent7 -> int3: the sedimentariness and the ecdemicness occurs.; int3 -> int4: the ecdemicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the rum does not occur is not incorrect.; sent3 -> int7: the prelims does not occur.; sent5 & int7 -> int8: the entr'acte happens and the affineness occurs.; int8 -> int9: the entr'acte occurs.; int6 & int9 -> int10: the rum does not occur but the entr'acte happens.;
$hypothesis$ = the parabolicness does not occur. ; $context$ = sent1: the dithyrambicness occurs. sent2: the non-ecdemicness is brought about by that the dithyrambicness happens and the rum happens. sent3: the prelims does not occur and the acceptance does not occur. sent4: the valvotomy does not occur. sent5: the entr'acte and the affine happens if the prelims does not occur. sent6: if the conformistness does not occur the sedimentariness occurs and the ecdemicness happens. sent7: that the conformist does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the rum occurs is true.; sent1 & assump1 -> int1: both the dithyrambicness and the rum happens.; int1 & sent2 -> int2: the ecdemicness does not occur.; sent6 & sent7 -> int3: the sedimentariness and the ecdemicness occurs.; int3 -> int4: the ecdemicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the rum does not occur is not incorrect.; sent3 -> int7: the prelims does not occur.; sent5 & int7 -> int8: the entr'acte happens and the affineness occurs.; int8 -> int9: the entr'acte occurs.; int6 & int9 -> int10: the rum does not occur but the entr'acte happens.; __UNKNOWN__