the fact that the diving contribution does not occur and/or the violating does not occur does not hold.
sent1: the blistering fishhook does not occur and/or the Eritreanness happens. sent2: if the Olympianness occurs then the coking happens. sent3: that the halving Jonah does not occur is prevented by the mousetrap. sent4: the violating does not occur if the Olympianness does not occur. sent5: if the coke occurs or the grading occurs or both then the halving Jonah does not occur. sent6: if the symbolism does not occur the paleontologicalness does not occur. sent7: the mousetrap occurs and the blistering sunscreen does not occur if the blistering integument does not occur. sent8: the Eritreanness does not occur. sent9: the halving scald does not occur if the bardicness does not occur. sent10: the fact that the halving Jonah does not occur is true if the grading occurs. sent11: the functioning clogged does not occur. sent12: the diving Noether occurs if that both the coking and the non-Olympianness occurs is false. sent13: if the grading does not occur then the fact that the coke occurs but the Olympian does not occur does not hold. sent14: the Rooseveltianness does not occur. sent15: the according occurs. sent16: the blistering integument does not occur. sent17: the argument does not occur.
void -> assump1: Let's assume that the Olympian happens.; sent2 & assump1 -> int1: the coking occurs.; int1 -> int2: the coke occurs and/or the grading occurs.; int2 & sent5 -> int3: the halving Jonah does not occur.; sent7 & sent16 -> int4: the mousetrap happens but the blistering sunscreen does not occur.; int4 -> int5: the mousetrap happens.; sent3 & int5 -> int6: the halving Jonah occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Olympianness does not occur.; int8 & sent4 -> int9: the violating does not occur.; int9 -> hypothesis;
that the fact that the diving contribution does not occur and/or the violating does not occur is true is false.
 -> hypothesis;
$hypothesis$ = the fact that the diving contribution does not occur and/or the violating does not occur does not hold. ; $context$ = sent1: the blistering fishhook does not occur and/or the Eritreanness happens. sent2: if the Olympianness occurs then the coking happens. sent3: that the halving Jonah does not occur is prevented by the mousetrap. sent4: the violating does not occur if the Olympianness does not occur. sent5: if the coke occurs or the grading occurs or both then the halving Jonah does not occur. sent6: if the symbolism does not occur the paleontologicalness does not occur. sent7: the mousetrap occurs and the blistering sunscreen does not occur if the blistering integument does not occur. sent8: the Eritreanness does not occur. sent9: the halving scald does not occur if the bardicness does not occur. sent10: the fact that the halving Jonah does not occur is true if the grading occurs. sent11: the functioning clogged does not occur. sent12: the diving Noether occurs if that both the coking and the non-Olympianness occurs is false. sent13: if the grading does not occur then the fact that the coke occurs but the Olympian does not occur does not hold. sent14: the Rooseveltianness does not occur. sent15: the according occurs. sent16: the blistering integument does not occur. sent17: the argument does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Olympian happens.; sent2 & assump1 -> int1: the coking occurs.; int1 -> int2: the coke occurs and/or the grading occurs.; int2 & sent5 -> int3: the halving Jonah does not occur.; sent7 & sent16 -> int4: the mousetrap happens but the blistering sunscreen does not occur.; int4 -> int5: the mousetrap happens.; sent3 & int5 -> int6: the halving Jonah occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Olympianness does not occur.; int8 & sent4 -> int9: the violating does not occur.; int9 -> hypothesis; __DISPROVED__