that if the facing does not occur then the fact that the pinking Bunyaviridae does not occur and the Philistineness does not occur is wrong does not hold.
sent1: if the shambles does not occur then the facing happens. sent2: if the pediatricness does not occur that the naming milliwatt does not occur but the petrissage occurs is incorrect. sent3: if the pinking Bunyaviridae does not occur and the Philistine does not occur the shambles does not occur.
void -> assump1: Let's assume that the pinking Bunyaviridae does not occur and the Philistineness does not occur.; sent3 & assump1 -> int1: the shambles does not occur.; sent1 & int1 -> int2: the facing happens.; void -> assump2: Let's assume that the facing does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the pinking Bunyaviridae does not occur and the Philistineness does not occur is false.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that if the facing does not occur then the fact that the pinking Bunyaviridae does not occur and the Philistineness does not occur is wrong does not hold. ; $context$ = sent1: if the shambles does not occur then the facing happens. sent2: if the pediatricness does not occur that the naming milliwatt does not occur but the petrissage occurs is incorrect. sent3: if the pinking Bunyaviridae does not occur and the Philistine does not occur the shambles does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pinking Bunyaviridae does not occur and the Philistineness does not occur.; sent3 & assump1 -> int1: the shambles does not occur.; sent1 & int1 -> int2: the facing happens.; void -> assump2: Let's assume that the facing does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the pinking Bunyaviridae does not occur and the Philistineness does not occur is false.; [assump2] & int4 -> hypothesis; __DISPROVED__