the fact that the burial does not occur but the cooking occurs if the pitying canafistola occurs is not right.
sent1: the defibrillation does not occur. sent2: the Bohemianness does not occur if that the pitying canafistola does not occur but the defibrillation occurs is not true. sent3: if the Bohemianness does not occur the burial does not occur and the cooking happens.
void -> assump2: Let's assume that the pitying canafistola occurs.; void -> assump1: Let's assume that the pitying canafistola does not occur and the defibrillation occurs.; assump1 -> int1: the pitying canafistola does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the pitying canafistola but the defibrillation occurs does not hold.; sent2 & int3 -> int4: the Bohemian does not occur.; sent3 & int4 -> int5: that the burial does not occur and the cooking occurs is true.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the burial does not occur but the cooking occurs if the pitying canafistola occurs is not right. ; $context$ = sent1: the defibrillation does not occur. sent2: the Bohemianness does not occur if that the pitying canafistola does not occur but the defibrillation occurs is not true. sent3: if the Bohemianness does not occur the burial does not occur and the cooking happens. ; $proof$ = 
void -> assump2: Let's assume that the pitying canafistola occurs.; void -> assump1: Let's assume that the pitying canafistola does not occur and the defibrillation occurs.; assump1 -> int1: the pitying canafistola does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the pitying canafistola but the defibrillation occurs does not hold.; sent2 & int3 -> int4: the Bohemian does not occur.; sent3 & int4 -> int5: that the burial does not occur and the cooking occurs is true.; [assump2] & int5 -> hypothesis; __DISPROVED__