the mensalness occurs if the explosion occurs.
sent1: the fact that the excluding does not occur is true if the ravelling does not occur. sent2: if the seaworthiness does not occur the explosion does not occur. sent3: the explosion does not occur if that both the seaworthiness and the grounding happens is false. sent4: the protruding does not occur if the fact that the permitting Eriocaulon happens and the booting tetracycline occurs is not right. sent5: that the refusal and the channels happens does not hold. sent6: the ursineness does not occur.
void -> assump2: Let's assume that the mensalness does not occur.;
that the refusal and the channels happens does not hold.
 -> hypothesis;
$hypothesis$ = the mensalness occurs if the explosion occurs. ; $context$ = sent1: the fact that the excluding does not occur is true if the ravelling does not occur. sent2: if the seaworthiness does not occur the explosion does not occur. sent3: the explosion does not occur if that both the seaworthiness and the grounding happens is false. sent4: the protruding does not occur if the fact that the permitting Eriocaulon happens and the booting tetracycline occurs is not right. sent5: that the refusal and the channels happens does not hold. sent6: the ursineness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the mensalness does not occur.; __UNKNOWN__