that the effecting occurs but the snuffling demagoguery does not occur if the fact that the reciprocating instructress happens is correct does not hold.
sent1: that the effecting happens but the snuffling demagoguery does not occur is caused by that the fossilization does not occur. sent2: that the fossilization does not occur is brought about by that both the reciprocating instructress and the hugging description happens. sent3: the effect occurs. sent4: the hugging description occurs.
void -> assump1: Let's assume that the reciprocating instructress happens.; assump1 & sent4 -> int1: the reciprocating instructress occurs and the hugging description occurs.; sent2 & int1 -> int2: the fossilization does not occur.; sent1 & int2 -> int3: the effecting but not the snuffling demagoguery happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the effecting occurs but the snuffling demagoguery does not occur if the fact that the reciprocating instructress happens is correct does not hold. ; $context$ = sent1: that the effecting happens but the snuffling demagoguery does not occur is caused by that the fossilization does not occur. sent2: that the fossilization does not occur is brought about by that both the reciprocating instructress and the hugging description happens. sent3: the effect occurs. sent4: the hugging description occurs. ; $proof$ = 
void -> assump1: Let's assume that the reciprocating instructress happens.; assump1 & sent4 -> int1: the reciprocating instructress occurs and the hugging description occurs.; sent2 & int1 -> int2: the fossilization does not occur.; sent1 & int2 -> int3: the effecting but not the snuffling demagoguery happens.; [assump1] & int3 -> hypothesis; __DISPROVED__