the fact that if the rub-a-dub happens then that the mintage happens is not false is not correct.
sent1: if the diffidentness does not occur the rub-a-dub occurs. sent2: the ending happens. sent3: the fact that the considering absinthe happens hold. sent4: the coordinating medusa happens and the mintage occurs if the metastableness does not occur. sent5: the coordinating medusa happens. sent6: the coordinating medusa happens if the metastableness does not occur. sent7: the usance happens. sent8: that the diffidentness does not occur is brought about by the considering call-board. sent9: that the Incanness does not occur is triggered by the arthroplasty or that the considering funeral happens or both. sent10: the nonmechanicalness does not occur. sent11: the diffidentness does not occur if the metastableness occurs or the considering call-board happens or both. sent12: that the docileness occurs is prevented by that the hackwork does not occur. sent13: if the diffidentness does not occur then the rub-a-dub does not occur. sent14: the postglacialness happens. sent15: the forecasting and the masochisticness occurs. sent16: if the sepulchralness does not occur then the fact that the undercutting does not occur is true. sent17: the cordlessness happens. sent18: the harshening stumpknocker does not occur.
void -> assump1: Let's assume that the rub-a-dub occurs.; void -> assump2: Let's assume that the metastableness happens.; assump2 -> int1: the metastableness and/or the considering call-board happens.; sent11 & int1 -> int2: the fact that the diffidentness does not occur is true.; sent13 & int2 -> int3: that the rub-a-dub does not occur is not incorrect.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the metastableness does not occur.; sent4 & int5 -> int6: the coordinating medusa happens and the mintage occurs.; int6 -> int7: the mintage occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that if the rub-a-dub happens then that the mintage happens is not false is not correct. ; $context$ = sent1: if the diffidentness does not occur the rub-a-dub occurs. sent2: the ending happens. sent3: the fact that the considering absinthe happens hold. sent4: the coordinating medusa happens and the mintage occurs if the metastableness does not occur. sent5: the coordinating medusa happens. sent6: the coordinating medusa happens if the metastableness does not occur. sent7: the usance happens. sent8: that the diffidentness does not occur is brought about by the considering call-board. sent9: that the Incanness does not occur is triggered by the arthroplasty or that the considering funeral happens or both. sent10: the nonmechanicalness does not occur. sent11: the diffidentness does not occur if the metastableness occurs or the considering call-board happens or both. sent12: that the docileness occurs is prevented by that the hackwork does not occur. sent13: if the diffidentness does not occur then the rub-a-dub does not occur. sent14: the postglacialness happens. sent15: the forecasting and the masochisticness occurs. sent16: if the sepulchralness does not occur then the fact that the undercutting does not occur is true. sent17: the cordlessness happens. sent18: the harshening stumpknocker does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rub-a-dub occurs.; void -> assump2: Let's assume that the metastableness happens.; assump2 -> int1: the metastableness and/or the considering call-board happens.; sent11 & int1 -> int2: the fact that the diffidentness does not occur is true.; sent13 & int2 -> int3: that the rub-a-dub does not occur is not incorrect.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the metastableness does not occur.; sent4 & int5 -> int6: the coordinating medusa happens and the mintage occurs.; int6 -> int7: the mintage occurs.; [assump1] & int7 -> hypothesis; __DISPROVED__