the fact that the bombing occurs hold.
sent1: the finishing boating does not occur if the fact that the paranormalness occurs and the finishing boating happens does not hold. sent2: if that either the transshipment does not occur or the psychiatricness occurs or both is false the bombing does not occur. sent3: that the Odyssey and the finishing latch occurs prevents the callithumpianness. sent4: the outflanking hematocrit does not occur. sent5: if the finishing limit or the non-joyfulness or both happens then that the outflanking hematocrit happens is not false. sent6: the Odyssey and the finishing latch happens. sent7: if the finishing boating does not occur the fact that the disregard does not occur and the outflanking modillion does not occur does not hold. sent8: that the Odyssey occurs and the swanning occurs is not true if that the asleepness does not occur hold. sent9: if the chess does not occur and the callithumpianness does not occur the bombing occurs. sent10: that the Odyssey does not occur is not incorrect if that the Odyssey occurs and the swan occurs does not hold. sent11: if the transshipment does not occur the fact that the finishing limit occurs hold. sent12: the asleepness does not occur if that the disregard does not occur and the outflanking modillion does not occur is not true. sent13: that the joyfulness does not occur and/or that the outflanking hematocrit does not occur is caused by the chess. sent14: the chess does not occur if the fact that the transshipment does not occur and/or the psychiatricness does not occur is incorrect. sent15: the chess happens if the finishing latch does not occur but the callithumpianness happens. sent16: the finishing limit happens if the psychiatricness does not occur.
void -> assump1: Let's assume that either the transshipment does not occur or the psychiatricness does not occur or both.; assump1 & sent11 & sent16 -> int1: the finishing limit happens.; int1 -> int2: the finishing limit occurs and/or the joyfulness does not occur.; int2 & sent5 -> int3: the outflanking hematocrit occurs.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that either the transshipment does not occur or the psychiatricness does not occur or both is wrong.; int5 & sent14 -> int6: the chess does not occur.; sent3 & sent6 -> int7: the callithumpianness does not occur.; int6 & int7 -> int8: the chess does not occur and the callithumpianness does not occur.; int8 & sent9 -> hypothesis;
the bombing does not occur.
$hypothesis$ = the fact that the bombing occurs hold. ; $context$ = sent1: the finishing boating does not occur if the fact that the paranormalness occurs and the finishing boating happens does not hold. sent2: if that either the transshipment does not occur or the psychiatricness occurs or both is false the bombing does not occur. sent3: that the Odyssey and the finishing latch occurs prevents the callithumpianness. sent4: the outflanking hematocrit does not occur. sent5: if the finishing limit or the non-joyfulness or both happens then that the outflanking hematocrit happens is not false. sent6: the Odyssey and the finishing latch happens. sent7: if the finishing boating does not occur the fact that the disregard does not occur and the outflanking modillion does not occur does not hold. sent8: that the Odyssey occurs and the swanning occurs is not true if that the asleepness does not occur hold. sent9: if the chess does not occur and the callithumpianness does not occur the bombing occurs. sent10: that the Odyssey does not occur is not incorrect if that the Odyssey occurs and the swan occurs does not hold. sent11: if the transshipment does not occur the fact that the finishing limit occurs hold. sent12: the asleepness does not occur if that the disregard does not occur and the outflanking modillion does not occur is not true. sent13: that the joyfulness does not occur and/or that the outflanking hematocrit does not occur is caused by the chess. sent14: the chess does not occur if the fact that the transshipment does not occur and/or the psychiatricness does not occur is incorrect. sent15: the chess happens if the finishing latch does not occur but the callithumpianness happens. sent16: the finishing limit happens if the psychiatricness does not occur. ; $proof$ = 
void -> assump1: Let's assume that either the transshipment does not occur or the psychiatricness does not occur or both.; assump1 & sent11 & sent16 -> int1: the finishing limit happens.; int1 -> int2: the finishing limit occurs and/or the joyfulness does not occur.; int2 & sent5 -> int3: the outflanking hematocrit occurs.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that either the transshipment does not occur or the psychiatricness does not occur or both is wrong.; int5 & sent14 -> int6: the chess does not occur.; sent3 & sent6 -> int7: the callithumpianness does not occur.; int6 & int7 -> int8: the chess does not occur and the callithumpianness does not occur.; int8 & sent9 -> hypothesis; __PROVED__