if the archangelicness happens the clanking Choloepus happens.
sent1: the clanking Choloepus does not occur. sent2: the handlelessness occurs if the fact that the tympaniticness happens but the handlelessness does not occur is wrong. sent3: if the sputtering Mycenae does not occur and the archangelicness does not occur the pyrography does not occur. sent4: the sputtering Mycenae does not occur and the archangelicness does not occur if the handlelessness happens.
void -> assump2: Let's assume that that not the sputtering dhow but the clanking Choloepus occurs does not hold.;
the pyrography does not occur.
$hypothesis$ = if the archangelicness happens the clanking Choloepus happens. ; $context$ = sent1: the clanking Choloepus does not occur. sent2: the handlelessness occurs if the fact that the tympaniticness happens but the handlelessness does not occur is wrong. sent3: if the sputtering Mycenae does not occur and the archangelicness does not occur the pyrography does not occur. sent4: the sputtering Mycenae does not occur and the archangelicness does not occur if the handlelessness happens. ; $proof$ = 
void -> assump2: Let's assume that that not the sputtering dhow but the clanking Choloepus occurs does not hold.; __UNKNOWN__