that if that the DOS occurs is not incorrect the unshockableness occurs is wrong.
sent1: the fact that the indefiniteness and/or the non-Alaskanness occurs is incorrect if the DOS happens. sent2: if the fact that the fabianness occurs and/or the backhand does not occur does not hold then the fact that the looking Floridian occurs is right. sent3: the unshockableness occurs if the fact that the indefiniteness occurs and/or the Alaskanness does not occur is not true.
void -> assump1: Let's assume that the DOS occurs.; sent1 & assump1 -> int1: the fact that either the indefiniteness or the non-Alaskanness or both happens does not hold.; sent3 & int1 -> int2: the unshockableness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if that the DOS occurs is not incorrect the unshockableness occurs is wrong. ; $context$ = sent1: the fact that the indefiniteness and/or the non-Alaskanness occurs is incorrect if the DOS happens. sent2: if the fact that the fabianness occurs and/or the backhand does not occur does not hold then the fact that the looking Floridian occurs is right. sent3: the unshockableness occurs if the fact that the indefiniteness occurs and/or the Alaskanness does not occur is not true. ; $proof$ = 
void -> assump1: Let's assume that the DOS occurs.; sent1 & assump1 -> int1: the fact that either the indefiniteness or the non-Alaskanness or both happens does not hold.; sent3 & int1 -> int2: the unshockableness occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__