if the fact that the detonation occurs and the junction does not occur is false then the generaling does not occur.
sent1: the fact that the detonation and the junction happens is not true. sent2: the fact that the cornering acetal but not the stored-programness happens is not true. sent3: the generaling does not occur if the junction happens. sent4: the fact that the bettering interstice and the steps happens does not hold. sent5: the general does not occur if the detonation happens and the junction does not occur. sent6: if the fact that the liking happens and the spoliation does not occur is wrong the fact that the analogue does not occur is true. sent7: that the generalness happens is correct if the fact that the detonation but not the junction occurs is false. sent8: that the malversation but not the repercussion occurs does not hold. sent9: if the fact that that the bettering interstice occurs but the steps does not occur is not correct hold the steps happens. sent10: that the cards occurs is not incorrect if the fact that the hospitalization happens and the bettering decipherer does not occur is wrong. sent11: if the rendezvousing occurs and the steps happens the generaling does not occur. sent12: that the soaring does not occur is caused by that the equation and the brachiation occurs. sent13: if the junction happens the rendezvous occurs. sent14: the general happens if the rendezvousing happens and the stepping happens. sent15: that the bettering interstice happens but the stepping does not occur does not hold.
void -> assump1: Let's assume that the fact that the detonation but not the junction occurs is false.; sent9 & sent15 -> int1: the stepping happens.;
$hypothesis$ = if the fact that the detonation occurs and the junction does not occur is false then the generaling does not occur. ; $context$ = sent1: the fact that the detonation and the junction happens is not true. sent2: the fact that the cornering acetal but not the stored-programness happens is not true. sent3: the generaling does not occur if the junction happens. sent4: the fact that the bettering interstice and the steps happens does not hold. sent5: the general does not occur if the detonation happens and the junction does not occur. sent6: if the fact that the liking happens and the spoliation does not occur is wrong the fact that the analogue does not occur is true. sent7: that the generalness happens is correct if the fact that the detonation but not the junction occurs is false. sent8: that the malversation but not the repercussion occurs does not hold. sent9: if the fact that that the bettering interstice occurs but the steps does not occur is not correct hold the steps happens. sent10: that the cards occurs is not incorrect if the fact that the hospitalization happens and the bettering decipherer does not occur is wrong. sent11: if the rendezvousing occurs and the steps happens the generaling does not occur. sent12: that the soaring does not occur is caused by that the equation and the brachiation occurs. sent13: if the junction happens the rendezvous occurs. sent14: the general happens if the rendezvousing happens and the stepping happens. sent15: that the bettering interstice happens but the stepping does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the detonation but not the junction occurs is false.; sent9 & sent15 -> int1: the stepping happens.; __UNKNOWN__