if the deep does not occur the electrotherapy and the calcicolousness occurs.
sent1: the blockading does not occur. sent2: the fact that both the non-calcicolousness and the hemorrhagicness happens is incorrect if the splatting genipa does not occur. sent3: the propulsiveness does not occur. sent4: that the calcicolousness and the hemorrhagicness occurs is not true if the splatting genipa does not occur. sent5: if the deep happens both the electrotherapy and the calcicolousness happens. sent6: the fibrillating happens. sent7: the entomophilousness happens if the deep happens. sent8: that the deep and the non-propulsiveness occurs results in the iridectomy. sent9: the palatoglossalness occurs. sent10: the fact that the exculpation does not occur but the nonstop occurs does not hold. sent11: the strengthening occurs. sent12: either the splatting risk happens or the lamplight occurs or both. sent13: that both the calcicolousness and the hemorrhagicness happens is not true. sent14: if the splatting risk happens the splatting genipa does not occur. sent15: the calcicolousness occurs if that the calcicolousnessness and the hemorrhagicness happens does not hold. sent16: the ESR occurs if the politeness happens. sent17: if the iridectomy happens the electrotherapy happens. sent18: the splatting risk and/or that the lamplight happens causes that the splatting genipa does not occur. sent19: the reliving and the outflanking due occurs. sent20: the fluoridation occurs. sent21: the ligation does not occur.
void -> assump1: Let's assume that the deepness does not occur.; assump1 & sent3 -> int1: that both the non-deepness and the non-propulsiveness happens is not wrong.; sent18 & sent12 -> int2: the splatting genipa does not occur.; sent2 & int2 -> int3: the fact that the calcicolousness does not occur but the hemorrhagicness happens does not hold.; sent15 & int3 -> int4: the calcicolousness occurs.;
the entomophilousness occurs.
$hypothesis$ = if the deep does not occur the electrotherapy and the calcicolousness occurs. ; $context$ = sent1: the blockading does not occur. sent2: the fact that both the non-calcicolousness and the hemorrhagicness happens is incorrect if the splatting genipa does not occur. sent3: the propulsiveness does not occur. sent4: that the calcicolousness and the hemorrhagicness occurs is not true if the splatting genipa does not occur. sent5: if the deep happens both the electrotherapy and the calcicolousness happens. sent6: the fibrillating happens. sent7: the entomophilousness happens if the deep happens. sent8: that the deep and the non-propulsiveness occurs results in the iridectomy. sent9: the palatoglossalness occurs. sent10: the fact that the exculpation does not occur but the nonstop occurs does not hold. sent11: the strengthening occurs. sent12: either the splatting risk happens or the lamplight occurs or both. sent13: that both the calcicolousness and the hemorrhagicness happens is not true. sent14: if the splatting risk happens the splatting genipa does not occur. sent15: the calcicolousness occurs if that the calcicolousnessness and the hemorrhagicness happens does not hold. sent16: the ESR occurs if the politeness happens. sent17: if the iridectomy happens the electrotherapy happens. sent18: the splatting risk and/or that the lamplight happens causes that the splatting genipa does not occur. sent19: the reliving and the outflanking due occurs. sent20: the fluoridation occurs. sent21: the ligation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the deepness does not occur.; assump1 & sent3 -> int1: that both the non-deepness and the non-propulsiveness happens is not wrong.; sent18 & sent12 -> int2: the splatting genipa does not occur.; sent2 & int2 -> int3: the fact that the calcicolousness does not occur but the hemorrhagicness happens does not hold.; sent15 & int3 -> int4: the calcicolousness occurs.; __UNKNOWN__