if the libation happens then the slugging superinfection happens.
sent1: if that the noncausativeness does not occur and the Frisianness does not occur is true the libation does not occur.
void -> assump2: Let's assume that the libation happens.;
$hypothesis$ = if the libation happens then the slugging superinfection happens. ; $context$ = sent1: if that the noncausativeness does not occur and the Frisianness does not occur is true the libation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the libation happens.; __UNKNOWN__