the fact that the bomb does not occur is not incorrect.
sent1: if the fact that the memberlessness happens is right then the obligating but not the counterattraction occurs. sent2: the disobliging salicylate happens and the hypotonicity occurs. sent3: that the Crusade occurs is correct. sent4: if the variegating adsorbent does not occur then not the Dionysia but the Sabine occurs. sent5: that the disobliging salicylate does not occur and the consociating occurs is not correct if the narrow does not occur. sent6: if both the bomb and the Crusade happens the variegating adsorbent does not occur. sent7: that the Sabine does not occur and the variegating adsorbent occurs triggers that the dropkick does not occur. sent8: the hemorrhoidectomy happens. sent9: that the bomb happens is caused by that the variegating adsorbent does not occur and/or that the Crusade does not occur. sent10: both the counterattraction and the narrow occurs. sent11: the disobliging salicylate does not occur if the narrow and the consociating happens. sent12: that both the Dionysia and the Sabineness happens triggers the consociating. sent13: the musical happens. sent14: that the narrowness does not occur if that the hypotonicity and the narrowness occurs does not hold is true. sent15: the outdoorsness occurs. sent16: the variegating adsorbent does not occur and/or the Crusade does not occur if the Sabineness occurs. sent17: if not the Dionysia but the Sabine occurs then the fact that the consociating happens is correct. sent18: if the fact that the counterattraction does not occur hold then that both the hypotonicity and the narrowness happens is not right. sent19: the galling businesswoman does not occur. sent20: if the fact that both the non-Sabineness and the Dionysia occurs is false the Sabineness occurs.
void -> assump1: Let's assume that the bomb occurs.; assump1 & sent3 -> int1: both the bomb and the Crusade occurs.; int1 & sent6 -> int2: the variegating adsorbent does not occur.; int2 & sent4 -> int3: not the Dionysia but the Sabine occurs.; int3 & sent17 -> int4: the consociating occurs.; sent10 -> int5: the narrow happens.; int4 & int5 -> int6: both the narrowing and the consociating happens.; int6 & sent11 -> int7: the disobliging salicylate does not occur.; sent2 -> int8: the disobliging salicylate occurs.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the bomb happens.
$hypothesis$ = the fact that the bomb does not occur is not incorrect. ; $context$ = sent1: if the fact that the memberlessness happens is right then the obligating but not the counterattraction occurs. sent2: the disobliging salicylate happens and the hypotonicity occurs. sent3: that the Crusade occurs is correct. sent4: if the variegating adsorbent does not occur then not the Dionysia but the Sabine occurs. sent5: that the disobliging salicylate does not occur and the consociating occurs is not correct if the narrow does not occur. sent6: if both the bomb and the Crusade happens the variegating adsorbent does not occur. sent7: that the Sabine does not occur and the variegating adsorbent occurs triggers that the dropkick does not occur. sent8: the hemorrhoidectomy happens. sent9: that the bomb happens is caused by that the variegating adsorbent does not occur and/or that the Crusade does not occur. sent10: both the counterattraction and the narrow occurs. sent11: the disobliging salicylate does not occur if the narrow and the consociating happens. sent12: that both the Dionysia and the Sabineness happens triggers the consociating. sent13: the musical happens. sent14: that the narrowness does not occur if that the hypotonicity and the narrowness occurs does not hold is true. sent15: the outdoorsness occurs. sent16: the variegating adsorbent does not occur and/or the Crusade does not occur if the Sabineness occurs. sent17: if not the Dionysia but the Sabine occurs then the fact that the consociating happens is correct. sent18: if the fact that the counterattraction does not occur hold then that both the hypotonicity and the narrowness happens is not right. sent19: the galling businesswoman does not occur. sent20: if the fact that both the non-Sabineness and the Dionysia occurs is false the Sabineness occurs. ; $proof$ = 
void -> assump1: Let's assume that the bomb occurs.; assump1 & sent3 -> int1: both the bomb and the Crusade occurs.; int1 & sent6 -> int2: the variegating adsorbent does not occur.; int2 & sent4 -> int3: not the Dionysia but the Sabine occurs.; int3 & sent17 -> int4: the consociating occurs.; sent10 -> int5: the narrow happens.; int4 & int5 -> int6: both the narrowing and the consociating happens.; int6 & sent11 -> int7: the disobliging salicylate does not occur.; sent2 -> int8: the disobliging salicylate occurs.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__