if the sunset does not occur then the dietary does not occur and the halving Arendt does not occur.
sent1: the sunset brings about that the deference does not occur and the riblessness does not occur. sent2: the corporealness does not occur if the halving emigration happens. sent3: if the fact that the hazard occurs is not incorrect then the synestheticness does not occur. sent4: if the functioning fluff occurs the diurnalness does not occur. sent5: that the sunset does not occur yields the non-collegiateness. sent6: the dietariness does not occur if the collegiateness does not occur. sent7: if the assortment occurs then the questioning does not occur and the work-in does not occur. sent8: the dietariness does not occur and the halving Arendt does not occur if the sunset happens. sent9: the Holocaust does not occur if the entericness happens. sent10: the non-collegiateness is caused by the sunset.
void -> assump1: Let's assume that the sunset does not occur.; sent5 & assump1 -> int1: the collegiateness does not occur.; int1 & sent6 -> int2: the dietary does not occur.;
the deference does not occur and the riblessness does not occur.
$hypothesis$ = if the sunset does not occur then the dietary does not occur and the halving Arendt does not occur. ; $context$ = sent1: the sunset brings about that the deference does not occur and the riblessness does not occur. sent2: the corporealness does not occur if the halving emigration happens. sent3: if the fact that the hazard occurs is not incorrect then the synestheticness does not occur. sent4: if the functioning fluff occurs the diurnalness does not occur. sent5: that the sunset does not occur yields the non-collegiateness. sent6: the dietariness does not occur if the collegiateness does not occur. sent7: if the assortment occurs then the questioning does not occur and the work-in does not occur. sent8: the dietariness does not occur and the halving Arendt does not occur if the sunset happens. sent9: the Holocaust does not occur if the entericness happens. sent10: the non-collegiateness is caused by the sunset. ; $proof$ = 
void -> assump1: Let's assume that the sunset does not occur.; sent5 & assump1 -> int1: the collegiateness does not occur.; int1 & sent6 -> int2: the dietary does not occur.; __UNKNOWN__