the fact that the incriminating Victrola occurs if the squatting occurs does not hold.
sent1: the cenogeneticness occurs. sent2: the fact that the re-entrantness does not occur is not correct. sent3: if the heedfulness and the cenogeneticness happens the squatting does not occur. sent4: that both the heedfulness and the cenogeneticness occurs prevents that the squatting does not occur. sent5: if that the heedfulness does not occur is not false then the incriminating Victrola occurs. sent6: the sticking pax happens. sent7: that the residentness and the heedfulness occurs is triggered by the non-cenogeneticness. sent8: the knee-lengthness occurs.
void -> assump1: Let's assume that the squat happens.; void -> assump2: Let's assume that the fact that the heedfulness occurs is not false.; assump2 & sent1 -> int1: both the heedfulness and the cenogeneticness happens.; sent3 & int1 -> int2: the squatting does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the heedfulness does not occur.; sent5 & int4 -> int5: the incriminating Victrola occurs.; [assump1] & int5 -> hypothesis;
the residentness occurs.
$hypothesis$ = the fact that the incriminating Victrola occurs if the squatting occurs does not hold. ; $context$ = sent1: the cenogeneticness occurs. sent2: the fact that the re-entrantness does not occur is not correct. sent3: if the heedfulness and the cenogeneticness happens the squatting does not occur. sent4: that both the heedfulness and the cenogeneticness occurs prevents that the squatting does not occur. sent5: if that the heedfulness does not occur is not false then the incriminating Victrola occurs. sent6: the sticking pax happens. sent7: that the residentness and the heedfulness occurs is triggered by the non-cenogeneticness. sent8: the knee-lengthness occurs. ; $proof$ = 
void -> assump1: Let's assume that the squat happens.; void -> assump2: Let's assume that the fact that the heedfulness occurs is not false.; assump2 & sent1 -> int1: both the heedfulness and the cenogeneticness happens.; sent3 & int1 -> int2: the squatting does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the heedfulness does not occur.; sent5 & int4 -> int5: the incriminating Victrola occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__