that the bioterrorism does not occur is triggered by that the non-vocationalness and the stocktaking happens.
sent1: if the fact that the basipetalness does not occur and the denaturalizing plop does not occur is incorrect the bioterrorism does not occur. sent2: that the basipetalness occurs triggers that the non-spasticness and the grounding happens. sent3: that both the non-vocationalness and the stocktaking occurs does not hold if the denaturalizing plop does not occur. sent4: that the vocationalness and the stocktaking happens is wrong if the denaturalizing plop does not occur.
void -> assump1: Let's assume that both the non-vocationalness and the stocktaking occurs.; void -> assump2: Let's assume that the basipetalness does not occur and the denaturalizing plop does not occur.; assump2 -> int1: the denaturalizing plop does not occur.; sent3 & int1 -> int2: the fact that the vocationalness does not occur but the stocktaking occurs is false.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the basipetalness does not occur and the denaturalizing plop does not occur is wrong.; sent1 & int4 -> int5: the bioterrorism does not occur.; [assump1] & int5 -> hypothesis;
the spastic does not occur but the grounding happens.
$hypothesis$ = that the bioterrorism does not occur is triggered by that the non-vocationalness and the stocktaking happens. ; $context$ = sent1: if the fact that the basipetalness does not occur and the denaturalizing plop does not occur is incorrect the bioterrorism does not occur. sent2: that the basipetalness occurs triggers that the non-spasticness and the grounding happens. sent3: that both the non-vocationalness and the stocktaking occurs does not hold if the denaturalizing plop does not occur. sent4: that the vocationalness and the stocktaking happens is wrong if the denaturalizing plop does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the non-vocationalness and the stocktaking occurs.; void -> assump2: Let's assume that the basipetalness does not occur and the denaturalizing plop does not occur.; assump2 -> int1: the denaturalizing plop does not occur.; sent3 & int1 -> int2: the fact that the vocationalness does not occur but the stocktaking occurs is false.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the basipetalness does not occur and the denaturalizing plop does not occur is wrong.; sent1 & int4 -> int5: the bioterrorism does not occur.; [assump1] & int5 -> hypothesis; __PROVED__