the darting happens.
sent1: the catastrophe occurs. sent2: the BAR does not occur. sent3: the inevitable does not occur if the fact that the catastrophe and the dart happens hold. sent4: the excelling does not occur. sent5: the inevitable happens. sent6: not the arthralgicness but the providing happens if the sobbing does not occur. sent7: the minimalistness occurs. sent8: the mucking occurs. sent9: if the fact that the spying does not occur is not incorrect the clearing worm does not occur and the curtailment happens. sent10: the inevitable and/or that the catastrophe occurs is caused by that the arthralgicness does not occur. sent11: the fact that that both the non-arthralgicness and the inevitable happens hold does not hold if the providing occurs. sent12: the darting happens if the catastrophe does not occur. sent13: the relations occurs. sent14: if the clearing worm does not occur then not the sobbing but the sepaloidness occurs.
void -> assump1: Let's assume that the dart happens.; sent1 & assump1 -> int1: the catastrophe occurs and the darting occurs.; int1 & sent3 -> int2: the inevitable does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the dart occurs.
$hypothesis$ = the darting happens. ; $context$ = sent1: the catastrophe occurs. sent2: the BAR does not occur. sent3: the inevitable does not occur if the fact that the catastrophe and the dart happens hold. sent4: the excelling does not occur. sent5: the inevitable happens. sent6: not the arthralgicness but the providing happens if the sobbing does not occur. sent7: the minimalistness occurs. sent8: the mucking occurs. sent9: if the fact that the spying does not occur is not incorrect the clearing worm does not occur and the curtailment happens. sent10: the inevitable and/or that the catastrophe occurs is caused by that the arthralgicness does not occur. sent11: the fact that that both the non-arthralgicness and the inevitable happens hold does not hold if the providing occurs. sent12: the darting happens if the catastrophe does not occur. sent13: the relations occurs. sent14: if the clearing worm does not occur then not the sobbing but the sepaloidness occurs. ; $proof$ = 
void -> assump1: Let's assume that the dart happens.; sent1 & assump1 -> int1: the catastrophe occurs and the darting occurs.; int1 & sent3 -> int2: the inevitable does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__