if the lending happens the functioning pogonion occurs.
sent1: that the saddening does not occur yields the anarchisticness. sent2: the scurfiness does not occur and the functioning pogonion does not occur if the outreach does not occur. sent3: the anarchisticness and the lending occurs if the saddening does not occur. sent4: that the functioning pogonion happens is triggered by the saddening. sent5: both the anarchisticness and the lending happens.
void -> assump2: Let's assume that the lending occurs.;
the punishment does not occur.
$hypothesis$ = if the lending happens the functioning pogonion occurs. ; $context$ = sent1: that the saddening does not occur yields the anarchisticness. sent2: the scurfiness does not occur and the functioning pogonion does not occur if the outreach does not occur. sent3: the anarchisticness and the lending occurs if the saddening does not occur. sent4: that the functioning pogonion happens is triggered by the saddening. sent5: both the anarchisticness and the lending happens. ; $proof$ = 
void -> assump2: Let's assume that the lending occurs.; __UNKNOWN__