that the Holocaust does not occur if the vaudeville happens is incorrect.
sent1: the vaudeville does not occur if either the basalticness or the Holocaust or both occurs. sent2: that the radiologicalness does not occur is prevented by that the heeling acquiescence and/or the genicness occurs. sent3: the bordering pinball does not occur. sent4: the heeling chateau does not occur. sent5: the bordering Balfour does not occur. sent6: that the heeling Calocedrus happens and/or the inhabitancy results in that the bordering pinball does not occur. sent7: the bordering fever does not occur. sent8: the basalticness occurs. sent9: the bordering pinball occurs or the duralness occurs or both. sent10: if the vaudeville happens the Holocaust happens. sent11: if the basalticness does not occur the foraging porbeagle and/or the bordering bored occurs. sent12: the folly happens and/or the bonanza occurs. sent13: the solid brings about that the bordering Hmong does not occur. sent14: either the bordering Sunday occurs or the consolation happens or both.
void -> assump1: Let's assume that the Holocaust happens.; assump1 -> int1: the basalticness or the Holocaust or both occurs.; int1 & sent1 -> int2: the vaudeville does not occur.; void -> assump2: Let's assume that the vaudeville happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Holocaust does not occur.; [assump2] & int4 -> hypothesis;
the foraging porbeagle occurs or the bordering bored occurs or both.
$hypothesis$ = that the Holocaust does not occur if the vaudeville happens is incorrect. ; $context$ = sent1: the vaudeville does not occur if either the basalticness or the Holocaust or both occurs. sent2: that the radiologicalness does not occur is prevented by that the heeling acquiescence and/or the genicness occurs. sent3: the bordering pinball does not occur. sent4: the heeling chateau does not occur. sent5: the bordering Balfour does not occur. sent6: that the heeling Calocedrus happens and/or the inhabitancy results in that the bordering pinball does not occur. sent7: the bordering fever does not occur. sent8: the basalticness occurs. sent9: the bordering pinball occurs or the duralness occurs or both. sent10: if the vaudeville happens the Holocaust happens. sent11: if the basalticness does not occur the foraging porbeagle and/or the bordering bored occurs. sent12: the folly happens and/or the bonanza occurs. sent13: the solid brings about that the bordering Hmong does not occur. sent14: either the bordering Sunday occurs or the consolation happens or both. ; $proof$ = 
void -> assump1: Let's assume that the Holocaust happens.; assump1 -> int1: the basalticness or the Holocaust or both occurs.; int1 & sent1 -> int2: the vaudeville does not occur.; void -> assump2: Let's assume that the vaudeville happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Holocaust does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__