that that the bivariateness does not occur is caused by that the trample occurs is not true.
sent1: the butyricness occurs. sent2: that the trampling happens and the one-off occurs leads to the non-bivariateness. sent3: that the indiscriminateness does not occur is brought about by that the separation happens and the mineral occurs. sent4: that the bivariateness does not occur is prevented by that the trampling occurs and the one-off occurs. sent5: the pitying happens. sent6: that the paperwork happens and the normalness happens prevents the hero. sent7: the fact that the one-off happens is true if the butyricness happens.
void -> assump1: Let's assume that the trample occurs.; sent7 & sent1 -> int1: the one-off happens.; assump1 & int1 -> int2: the trample occurs and the one-off occurs.; sent2 & int2 -> int3: the bivariateness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that that the bivariateness does not occur is caused by that the trample occurs is not true. ; $context$ = sent1: the butyricness occurs. sent2: that the trampling happens and the one-off occurs leads to the non-bivariateness. sent3: that the indiscriminateness does not occur is brought about by that the separation happens and the mineral occurs. sent4: that the bivariateness does not occur is prevented by that the trampling occurs and the one-off occurs. sent5: the pitying happens. sent6: that the paperwork happens and the normalness happens prevents the hero. sent7: the fact that the one-off happens is true if the butyricness happens. ; $proof$ = 
void -> assump1: Let's assume that the trample occurs.; sent7 & sent1 -> int1: the one-off happens.; assump1 & int1 -> int2: the trample occurs and the one-off occurs.; sent2 & int2 -> int3: the bivariateness does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__