if the hypodermicness happens the iteration does not occur.
sent1: the non-hypodermicness is prevented by that both the viceregalness and the iteration happens. sent2: if both the viceregalness and the iteration happens the hypodermic does not occur. sent3: that the iteration but not the hypodermic happens is brought about by that the fetish happens. sent4: that the ritualism occurs prevents that the seismography does not occur. sent5: if the fact that that both the non-civilianness and the oophorectomy happens does not hold is right the fetish happens. sent6: that the ritualism does not occur is prevented by that the iteration occurs but the hypodermic does not occur. sent7: the connecting and the icing Boeotia occurs.
void -> assump1: Let's assume that the hypodermic happens.;
the seismography happens and the icing predominance happens.
$hypothesis$ = if the hypodermicness happens the iteration does not occur. ; $context$ = sent1: the non-hypodermicness is prevented by that both the viceregalness and the iteration happens. sent2: if both the viceregalness and the iteration happens the hypodermic does not occur. sent3: that the iteration but not the hypodermic happens is brought about by that the fetish happens. sent4: that the ritualism occurs prevents that the seismography does not occur. sent5: if the fact that that both the non-civilianness and the oophorectomy happens does not hold is right the fetish happens. sent6: that the ritualism does not occur is prevented by that the iteration occurs but the hypodermic does not occur. sent7: the connecting and the icing Boeotia occurs. ; $proof$ = 
void -> assump1: Let's assume that the hypodermic happens.; __UNKNOWN__