the numeral does not occur.
sent1: if the subrogating pierid does not occur then the resounding happens and the bundling knock-knee occurs. sent2: the subrogating pierid does not occur. sent3: if the huddling does not occur and/or the lysogenizing Kaochlor happens then the numeralness happens. sent4: if the recital occurs the lysogenizing potto occurs. sent5: if the huddle happens then the recital occurs. sent6: if the resounding happens and the lysogenizing potto happens then the subjacentness does not occur. sent7: the subjacentness happens and the coincidence occurs.
void -> assump1: Let's assume that the huddle happens.; sent5 & assump1 -> int1: that the recital occurs is not false.; int1 & sent4 -> int2: the lysogenizing potto occurs.; sent1 & sent2 -> int3: both the resounding and the bundling knock-knee occurs.; int3 -> int4: the resounding happens.; int2 & int4 -> int5: both the resounding and the lysogenizing potto occurs.; int5 & sent6 -> int6: the subjacentness does not occur.; sent7 -> int7: the subjacentness happens.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the huddling does not occur.; int9 -> int10: the huddling does not occur and/or the lysogenizing Kaochlor occurs.; int10 & sent3 -> hypothesis;
$hypothesis$ = the numeral does not occur. ; $context$ = sent1: if the subrogating pierid does not occur then the resounding happens and the bundling knock-knee occurs. sent2: the subrogating pierid does not occur. sent3: if the huddling does not occur and/or the lysogenizing Kaochlor happens then the numeralness happens. sent4: if the recital occurs the lysogenizing potto occurs. sent5: if the huddle happens then the recital occurs. sent6: if the resounding happens and the lysogenizing potto happens then the subjacentness does not occur. sent7: the subjacentness happens and the coincidence occurs. ; $proof$ = 
void -> assump1: Let's assume that the huddle happens.; sent5 & assump1 -> int1: that the recital occurs is not false.; int1 & sent4 -> int2: the lysogenizing potto occurs.; sent1 & sent2 -> int3: both the resounding and the bundling knock-knee occurs.; int3 -> int4: the resounding happens.; int2 & int4 -> int5: both the resounding and the lysogenizing potto occurs.; int5 & sent6 -> int6: the subjacentness does not occur.; sent7 -> int7: the subjacentness happens.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the huddling does not occur.; int9 -> int10: the huddling does not occur and/or the lysogenizing Kaochlor occurs.; int10 & sent3 -> hypothesis; __DISPROVED__