that the hashing major does not occur but the according Ziegler happens is wrong.
sent1: the fact that the opposing anhydride but not the according radiophotograph occurs does not hold. sent2: the fact that the hashing niff but not the confederating Mercedario occurs is false. sent3: that the according Ziegler happens is not incorrect. sent4: if the hashing major happens the hashing niff happens but the confederating Mercedario does not occur. sent5: if the hashing major happens then the fact that the confederating Mercedario does not occur is right. sent6: the fact that that not the hashing major but the according Ziegler happens does not hold is not wrong if the hashing B does not occur.
void -> assump1: Let's assume that the hashing major happens.; sent4 & assump1 -> int1: the hashing niff but not the confederating Mercedario occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hashing major does not occur.; int3 & sent3 -> hypothesis;
the fact that not the hashing major but the according Ziegler happens is not correct.
$hypothesis$ = that the hashing major does not occur but the according Ziegler happens is wrong. ; $context$ = sent1: the fact that the opposing anhydride but not the according radiophotograph occurs does not hold. sent2: the fact that the hashing niff but not the confederating Mercedario occurs is false. sent3: that the according Ziegler happens is not incorrect. sent4: if the hashing major happens the hashing niff happens but the confederating Mercedario does not occur. sent5: if the hashing major happens then the fact that the confederating Mercedario does not occur is right. sent6: the fact that that not the hashing major but the according Ziegler happens does not hold is not wrong if the hashing B does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hashing major happens.; sent4 & assump1 -> int1: the hashing niff but not the confederating Mercedario occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hashing major does not occur.; int3 & sent3 -> hypothesis; __DISPROVED__