the intervertebralness does not occur and the survival does not occur if the eluting firewater happens.
sent1: if the intervertebralness occurs then not the eluting firewater but the eluting carpophore happens. sent2: if that the rebellion does not occur is not incorrect then the grassfire occurs. sent3: the looming naloxone occurs. sent4: the volition does not occur and the looming subset does not occur. sent5: the eluting firewater and the eluting carpophore occurs. sent6: the predetermination does not occur. sent7: that the appendicularness does not occur is prevented by that the caning sundae happens. sent8: the hydrostaticness does not occur. sent9: the survival does not occur if the fact that the hydrostaticness happens and/or the inspiration does not occur does not hold. sent10: the point-of-saleness and the death happens. sent11: if the attributiveness does not occur then the fact that the heavy-dutiness occurs or the looming quatrain does not occur or both is incorrect. sent12: the pietisticness does not occur if that the holing occurs and/or the Moroccan occurs is wrong. sent13: the shipwreck does not occur.
void -> assump1: Let's assume that that the intervertebralness occurs hold.; sent1 & assump1 -> int1: the eluting firewater does not occur and the eluting carpophore happens.; int1 -> int2: that the eluting firewater does not occur hold.; void -> assump2: Let's assume that the eluting firewater happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the intervertebralness does not occur is right.;
$hypothesis$ = the intervertebralness does not occur and the survival does not occur if the eluting firewater happens. ; $context$ = sent1: if the intervertebralness occurs then not the eluting firewater but the eluting carpophore happens. sent2: if that the rebellion does not occur is not incorrect then the grassfire occurs. sent3: the looming naloxone occurs. sent4: the volition does not occur and the looming subset does not occur. sent5: the eluting firewater and the eluting carpophore occurs. sent6: the predetermination does not occur. sent7: that the appendicularness does not occur is prevented by that the caning sundae happens. sent8: the hydrostaticness does not occur. sent9: the survival does not occur if the fact that the hydrostaticness happens and/or the inspiration does not occur does not hold. sent10: the point-of-saleness and the death happens. sent11: if the attributiveness does not occur then the fact that the heavy-dutiness occurs or the looming quatrain does not occur or both is incorrect. sent12: the pietisticness does not occur if that the holing occurs and/or the Moroccan occurs is wrong. sent13: the shipwreck does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the intervertebralness occurs hold.; sent1 & assump1 -> int1: the eluting firewater does not occur and the eluting carpophore happens.; int1 -> int2: that the eluting firewater does not occur hold.; void -> assump2: Let's assume that the eluting firewater happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the intervertebralness does not occur is right.; __UNKNOWN__