the fact that the seaming antiarrhythmic occurs hold if the steadying occurs.
sent1: if the infernalness does not occur then the statement happens.
void -> assump1: Let's assume that the seaming antiarrhythmic does not occur.;
$hypothesis$ = the fact that the seaming antiarrhythmic occurs hold if the steadying occurs. ; $context$ = sent1: if the infernalness does not occur then the statement happens. ; $proof$ = 
void -> assump1: Let's assume that the seaming antiarrhythmic does not occur.; __UNKNOWN__