the apostleship is prevented by that the nonsteroidalness happens.
sent1: the bopping Anguidae happens. sent2: that both the bopping Anguidae and the apostleship happens yields the steroidalness.
void -> assump1: Let's assume that that the nonsteroidalness happens is true.; void -> assump2: Let's assume that the apostleship happens.; sent1 & assump2 -> int1: the bopping Anguidae and the apostleship occurs.; sent2 & int1 -> int2: that the nonsteroidalness does not occur is not incorrect.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the apostleship does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the apostleship is prevented by that the nonsteroidalness happens. ; $context$ = sent1: the bopping Anguidae happens. sent2: that both the bopping Anguidae and the apostleship happens yields the steroidalness. ; $proof$ = 
void -> assump1: Let's assume that that the nonsteroidalness happens is true.; void -> assump2: Let's assume that the apostleship happens.; sent1 & assump2 -> int1: the bopping Anguidae and the apostleship occurs.; sent2 & int1 -> int2: that the nonsteroidalness does not occur is not incorrect.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the apostleship does not occur.; [assump1] & int4 -> hypothesis; __PROVED__