the neurectomy does not occur.
sent1: that the leptosporangiateness happens but the duster does not occur yields the Christianness. sent2: the fact that the fact that the leptosporangiateness happens and the duster occurs is not incorrect is false. sent3: if the year-roundness does not occur the synopticness does not occur and the integrating coagulant does not occur. sent4: if that the leptosporangiateness but not the duster occurs is wrong then the neurectomy does not occur. sent5: the TELINT happens if that the instrumenting twinge does not occur is not incorrect. sent6: the duster does not occur. sent7: not the sainthood but the secularization occurs if the TELINT occurs. sent8: the totemicness does not occur if the fact that the cosmicness but not the bit occurs is wrong. sent9: if the sainthood does not occur the fact that the cosmicness happens and the biting does not occur does not hold. sent10: the Christianness is triggered by that the leptosporangiateness happens and the duster occurs. sent11: the neurectomy is prevented by that the duster occurs. sent12: the mystifying gaddi does not occur if that the mystifying gaddi happens and the integrating Kharkov occurs is not correct. sent13: that the microsurgery does not occur and the year-roundness does not occur is caused by that the totemicness does not occur. sent14: the cirrocumulus does not occur if the non-Christianness and the neurectomy occurs. sent15: the excluding and/or the reptilianness occurs if the mystifying gaddi does not occur. sent16: the fact that the mystifying gaddi and the integrating Kharkov occurs is not correct if the synopticness does not occur. sent17: the abbatialness occurs.
void -> assump1: Let's assume that the leptosporangiateness but not the duster happens.; sent1 & assump1 -> int1: the fact that the Christian occurs is not false.;
the cirrocumulus does not occur.
$hypothesis$ = the neurectomy does not occur. ; $context$ = sent1: that the leptosporangiateness happens but the duster does not occur yields the Christianness. sent2: the fact that the fact that the leptosporangiateness happens and the duster occurs is not incorrect is false. sent3: if the year-roundness does not occur the synopticness does not occur and the integrating coagulant does not occur. sent4: if that the leptosporangiateness but not the duster occurs is wrong then the neurectomy does not occur. sent5: the TELINT happens if that the instrumenting twinge does not occur is not incorrect. sent6: the duster does not occur. sent7: not the sainthood but the secularization occurs if the TELINT occurs. sent8: the totemicness does not occur if the fact that the cosmicness but not the bit occurs is wrong. sent9: if the sainthood does not occur the fact that the cosmicness happens and the biting does not occur does not hold. sent10: the Christianness is triggered by that the leptosporangiateness happens and the duster occurs. sent11: the neurectomy is prevented by that the duster occurs. sent12: the mystifying gaddi does not occur if that the mystifying gaddi happens and the integrating Kharkov occurs is not correct. sent13: that the microsurgery does not occur and the year-roundness does not occur is caused by that the totemicness does not occur. sent14: the cirrocumulus does not occur if the non-Christianness and the neurectomy occurs. sent15: the excluding and/or the reptilianness occurs if the mystifying gaddi does not occur. sent16: the fact that the mystifying gaddi and the integrating Kharkov occurs is not correct if the synopticness does not occur. sent17: the abbatialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the leptosporangiateness but not the duster happens.; sent1 & assump1 -> int1: the fact that the Christian occurs is not false.; __UNKNOWN__