the fact that the whizbang is not a probabilism is not incorrect.
sent1: if the fact that the whizbang is not a slingback is not false then it is a kind of a escadrille that is a probabilism. sent2: something is not a kind of a slingback if that it is not Democratic and does not plot heme does not hold. sent3: the brisance is a bartlett if the whizbang is not Democratic and it does not plot heme. sent4: if something is Democratic then it is not a kind of a slingback. sent5: that the brisance is not metastatic hold. sent6: if the brisance is a kind of a bartlett it is metastatic.
void -> assump1: Let's assume that the whizbang is not Democratic and does not plot heme.; sent3 & assump1 -> int1: the brisance is a bartlett.; int1 & sent6 -> int2: the brisance is metastatic.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the whizbang is non-Democratic thing that does not plot heme is wrong.; sent2 -> int5: the whizbang is not a slingback if the fact that it is not Democratic and it does not plot heme is false.; int4 & int5 -> int6: the whizbang is not a slingback.; int6 & sent1 -> int7: the whizbang is both a escadrille and a probabilism.; int7 -> hypothesis;
$hypothesis$ = the fact that the whizbang is not a probabilism is not incorrect. ; $context$ = sent1: if the fact that the whizbang is not a slingback is not false then it is a kind of a escadrille that is a probabilism. sent2: something is not a kind of a slingback if that it is not Democratic and does not plot heme does not hold. sent3: the brisance is a bartlett if the whizbang is not Democratic and it does not plot heme. sent4: if something is Democratic then it is not a kind of a slingback. sent5: that the brisance is not metastatic hold. sent6: if the brisance is a kind of a bartlett it is metastatic. ; $proof$ = 
void -> assump1: Let's assume that the whizbang is not Democratic and does not plot heme.; sent3 & assump1 -> int1: the brisance is a bartlett.; int1 & sent6 -> int2: the brisance is metastatic.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the whizbang is non-Democratic thing that does not plot heme is wrong.; sent2 -> int5: the whizbang is not a slingback if the fact that it is not Democratic and it does not plot heme is false.; int4 & int5 -> int6: the whizbang is not a slingback.; int6 & sent1 -> int7: the whizbang is both a escadrille and a probabilism.; int7 -> hypothesis; __DISPROVED__