the gracefulness happens.
sent1: the vacuum does not occur and the apostolicness happens. sent2: if the gracefulness happens then that not the vacuum but the apostolicness happens is not correct.
void -> assump1: Let's assume that the gracefulness occurs.; sent2 & assump1 -> int1: that that not the vacuuming but the apostolicness occurs hold is false.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the gracefulness happens. ; $context$ = sent1: the vacuum does not occur and the apostolicness happens. sent2: if the gracefulness happens then that not the vacuum but the apostolicness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the gracefulness occurs.; sent2 & assump1 -> int1: that that not the vacuuming but the apostolicness occurs hold is false.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__