the saponaceousness does not occur.
sent1: the non-autoeciousness is prevented by that the non-metricness does not occur and/or that the denationalizing bolometer does not occur. sent2: the fact that the pyrographicness and the dither happens does not hold if the non-metricness does not occur. sent3: the haploid happens. sent4: the transshipping paramecium does not occur if the haploid happens. sent5: the yield happens but the transshipping paramecium does not occur if the haploidness happens. sent6: if the domestic does not occur that the improvisation happens and the Saxon happens is false. sent7: if the fact that both the pyrographicness and the dither occurs is not correct the eldership does not occur. sent8: the denationalizing bolometer happens. sent9: that the indignity but not the eldership happens prevents the saponaceousness. sent10: that the pyrographicness does not occur results in that the eldership does not occur. sent11: the transshipping paramecium does not occur. sent12: the indignity happens.
void -> assump1: Let's assume that the non-metricness happens.; assump1 & sent8 -> int1: both the non-metricness and the denationalizing bolometer occurs.; sent5 & sent3 -> int2: the yielding occurs but the transshipping paramecium does not occur.; int2 -> int3: the yielding occurs.;
the autoeciousness happens.
$hypothesis$ = the saponaceousness does not occur. ; $context$ = sent1: the non-autoeciousness is prevented by that the non-metricness does not occur and/or that the denationalizing bolometer does not occur. sent2: the fact that the pyrographicness and the dither happens does not hold if the non-metricness does not occur. sent3: the haploid happens. sent4: the transshipping paramecium does not occur if the haploid happens. sent5: the yield happens but the transshipping paramecium does not occur if the haploidness happens. sent6: if the domestic does not occur that the improvisation happens and the Saxon happens is false. sent7: if the fact that both the pyrographicness and the dither occurs is not correct the eldership does not occur. sent8: the denationalizing bolometer happens. sent9: that the indignity but not the eldership happens prevents the saponaceousness. sent10: that the pyrographicness does not occur results in that the eldership does not occur. sent11: the transshipping paramecium does not occur. sent12: the indignity happens. ; $proof$ = 
void -> assump1: Let's assume that the non-metricness happens.; assump1 & sent8 -> int1: both the non-metricness and the denationalizing bolometer occurs.; sent5 & sent3 -> int2: the yielding occurs but the transshipping paramecium does not occur.; int2 -> int3: the yielding occurs.; __UNKNOWN__