that the barring cystolith occurs is right.
sent1: if the oneiricness does not occur then that the civilness and the non-Dostoevskianness happens does not hold. sent2: the conservation does not occur if the fact that both the conservancy and the precipitation happens does not hold. sent3: that the conservancy does not occur causes that the hemicness does not occur and the conservation does not occur. sent4: the fact that not the nonabsorbentness but the batching antilepton occurs is incorrect if the civilness does not occur. sent5: that the garlickiness occurs but the acetylenicness does not occur is brought about by that the walloping does not occur. sent6: if the batching antilepton does not occur that the conservancy happens and the precipitation happens is incorrect. sent7: if the fact that the barring tidemark does not occur and the felicitousness does not occur is not true then the wallop does not occur. sent8: if the fact that not the nonabsorbentness but the batching antilepton occurs is not right then the fact that the batching antilepton does not occur is not incorrect. sent9: the civilness does not occur if that the civilness and the non-Dostoevskianness occurs is false. sent10: if the acetylenicness does not occur then the oneiricness does not occur. sent11: the conservancy does not occur. sent12: if the barring shit does not occur the fact that the barring tidemark does not occur and the felicitousness does not occur is false. sent13: either the equatorialness or the walking or both happens if the fact that the barring cystolith does not occur is not incorrect. sent14: the hemicness happens if the equatorialness happens.
void -> assump1: Let's assume that the barring cystolith does not occur.; sent13 & assump1 -> int1: the equatorial happens or the walk occurs or both.; sent3 & sent11 -> int2: the hemicness does not occur and the conservation does not occur.; int2 -> int3: the hemicness does not occur.;
the barring cystolith does not occur.
$hypothesis$ = that the barring cystolith occurs is right. ; $context$ = sent1: if the oneiricness does not occur then that the civilness and the non-Dostoevskianness happens does not hold. sent2: the conservation does not occur if the fact that both the conservancy and the precipitation happens does not hold. sent3: that the conservancy does not occur causes that the hemicness does not occur and the conservation does not occur. sent4: the fact that not the nonabsorbentness but the batching antilepton occurs is incorrect if the civilness does not occur. sent5: that the garlickiness occurs but the acetylenicness does not occur is brought about by that the walloping does not occur. sent6: if the batching antilepton does not occur that the conservancy happens and the precipitation happens is incorrect. sent7: if the fact that the barring tidemark does not occur and the felicitousness does not occur is not true then the wallop does not occur. sent8: if the fact that not the nonabsorbentness but the batching antilepton occurs is not right then the fact that the batching antilepton does not occur is not incorrect. sent9: the civilness does not occur if that the civilness and the non-Dostoevskianness occurs is false. sent10: if the acetylenicness does not occur then the oneiricness does not occur. sent11: the conservancy does not occur. sent12: if the barring shit does not occur the fact that the barring tidemark does not occur and the felicitousness does not occur is false. sent13: either the equatorialness or the walking or both happens if the fact that the barring cystolith does not occur is not incorrect. sent14: the hemicness happens if the equatorialness happens. ; $proof$ = 
void -> assump1: Let's assume that the barring cystolith does not occur.; sent13 & assump1 -> int1: the equatorial happens or the walk occurs or both.; sent3 & sent11 -> int2: the hemicness does not occur and the conservation does not occur.; int2 -> int3: the hemicness does not occur.; __UNKNOWN__