the hooking unrighteousness but not the archidiaconalness happens if the expurgation happens.
sent1: the Hegira occurs. sent2: the expurgation does not occur if the rampaging happens.
void -> assump2: Let's assume that that the hooking unrighteousness and the non-archidiaconalness occurs does not hold.;
$hypothesis$ = the hooking unrighteousness but not the archidiaconalness happens if the expurgation happens. ; $context$ = sent1: the Hegira occurs. sent2: the expurgation does not occur if the rampaging happens. ; $proof$ = 
void -> assump2: Let's assume that that the hooking unrighteousness and the non-archidiaconalness occurs does not hold.; __UNKNOWN__