that the perpetuating AB does not occur is triggered by the alkaloidalness.
sent1: the shafting dietary happens and the stoppering happens. sent2: that the perpetuating AB occurs hold if the stopper happens and the alkaloidalness happens. sent3: that the stoppering happens and the alkaloidalness occurs causes that the perpetuating AB does not occur.
sent1 -> int1: that the stoppering happens is right.; void -> assump1: Let's assume that the alkaloidalness happens.; int1 & assump1 -> int2: the stoppering occurs and the alkaloidalness happens.; sent3 & int2 -> int3: the perpetuating AB does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the perpetuating AB does not occur is triggered by the alkaloidalness. ; $context$ = sent1: the shafting dietary happens and the stoppering happens. sent2: that the perpetuating AB occurs hold if the stopper happens and the alkaloidalness happens. sent3: that the stoppering happens and the alkaloidalness occurs causes that the perpetuating AB does not occur. ; $proof$ = 
sent1 -> int1: that the stoppering happens is right.; void -> assump1: Let's assume that the alkaloidalness happens.; int1 & assump1 -> int2: the stoppering occurs and the alkaloidalness happens.; sent3 & int2 -> int3: the perpetuating AB does not occur.; [assump1] & int3 -> hypothesis; __PROVED__