the astrocyticness prevents that the jest occurs.
sent1: the hazing errancy occurs. sent2: the PIN happens. sent3: that the jest happens and the murder happens yields the non-astrocyticness. sent4: that the astrocyticness happens leads to that the jest occurs. sent5: the astrocyticness is triggered by that both the jest and the murder occurs.
void -> assump1: Let's assume that the jest happens.;
$hypothesis$ = the astrocyticness prevents that the jest occurs. ; $context$ = sent1: the hazing errancy occurs. sent2: the PIN happens. sent3: that the jest happens and the murder happens yields the non-astrocyticness. sent4: that the astrocyticness happens leads to that the jest occurs. sent5: the astrocyticness is triggered by that both the jest and the murder occurs. ; $proof$ = 
void -> assump1: Let's assume that the jest happens.; __UNKNOWN__