the fact that the satyricness does not occur is not false.
sent1: if the juncture occurs and the backblast occurs the embracing does not occur. sent2: the active happens. sent3: the backblast happens and the active happens. sent4: the embrace occurs. sent5: the undomesticness does not occur. sent6: if the active does not occur then the embracing happens but the backblast does not occur. sent7: that the juncture does not occur is prevented by that both the satyricness and the non-undomesticness happens. sent8: that the tagging Gorki but not the tittupping occurs prevents that the guaranteeing homozygote does not occur.
void -> assump1: Let's assume that that the satyricness happens is true.; assump1 & sent5 -> int1: the satyricness occurs but the undomesticness does not occur.; int1 & sent7 -> int2: that the juncture occurs hold.; sent3 -> int3: the backblast happens.; int2 & int3 -> int4: the juncture occurs and the backblast happens.; int4 & sent1 -> int5: the fact that the embrace does not occur is not incorrect.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the tagging paregoric occurs.
$hypothesis$ = the fact that the satyricness does not occur is not false. ; $context$ = sent1: if the juncture occurs and the backblast occurs the embracing does not occur. sent2: the active happens. sent3: the backblast happens and the active happens. sent4: the embrace occurs. sent5: the undomesticness does not occur. sent6: if the active does not occur then the embracing happens but the backblast does not occur. sent7: that the juncture does not occur is prevented by that both the satyricness and the non-undomesticness happens. sent8: that the tagging Gorki but not the tittupping occurs prevents that the guaranteeing homozygote does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the satyricness happens is true.; assump1 & sent5 -> int1: the satyricness occurs but the undomesticness does not occur.; int1 & sent7 -> int2: that the juncture occurs hold.; sent3 -> int3: the backblast happens.; int2 & int3 -> int4: the juncture occurs and the backblast happens.; int4 & sent1 -> int5: the fact that the embrace does not occur is not incorrect.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__