the icing does not occur if the hymeneal occurs.
sent1: the icing occurs. sent2: that the non-normalness and/or the submergence happens is not right if the umbelliformness happens. sent3: the icing does not occur if the fact that the Gula happens and the crediting rate happens is wrong. sent4: the fact that if the fact that the umbelliformness happens but the hymenealness does not occur is not right then the exhaustion occurs hold. sent5: if the crediting rate does not occur then the icing does not occur. sent6: the normalness occurs if the umbelliformness happens. sent7: that the fact that the umbelliformness and the non-hymenealness happens is right is false if the crediting rate does not occur. sent8: if the fact that the Gula occurs and the crediting rate happens is false the icing happens. sent9: the icing is brought about by that the hymeneal happens. sent10: the normalness happens. sent11: the hymenealness does not occur if that either the normalness happens or the submergence occurs or both does not hold. sent12: the fact that the Gula occurs and the crediting rate occurs is not right if the umbelliformness does not occur.
void -> assump2: Let's assume that the hymenealness occurs.; void -> assump1: Let's assume that the umbelliformness occurs.; sent2 & assump1 -> int1: the fact that the normalness does not occur or the submergence happens or both is not right.;
the exhaustion happens.
$hypothesis$ = the icing does not occur if the hymeneal occurs. ; $context$ = sent1: the icing occurs. sent2: that the non-normalness and/or the submergence happens is not right if the umbelliformness happens. sent3: the icing does not occur if the fact that the Gula happens and the crediting rate happens is wrong. sent4: the fact that if the fact that the umbelliformness happens but the hymenealness does not occur is not right then the exhaustion occurs hold. sent5: if the crediting rate does not occur then the icing does not occur. sent6: the normalness occurs if the umbelliformness happens. sent7: that the fact that the umbelliformness and the non-hymenealness happens is right is false if the crediting rate does not occur. sent8: if the fact that the Gula occurs and the crediting rate happens is false the icing happens. sent9: the icing is brought about by that the hymeneal happens. sent10: the normalness happens. sent11: the hymenealness does not occur if that either the normalness happens or the submergence occurs or both does not hold. sent12: the fact that the Gula occurs and the crediting rate occurs is not right if the umbelliformness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the hymenealness occurs.; void -> assump1: Let's assume that the umbelliformness occurs.; sent2 & assump1 -> int1: the fact that the normalness does not occur or the submergence happens or both is not right.; __UNKNOWN__