転嫁することは起こらないし程遠いということは起きない
fact1: 仮に物狂おしいということは生じないとしたら「転嫁することは発生しないし更に程遠いということは起きない」ということは成り立たない fact2: 「物狂おしいということが起こるし救い難いということは起きない」ということは成り立つということはない fact3: もしもくもちょLv.20事件が起きるとすれば転嫁することは起こらなくて物狂おしいということが起きる fact4: 救い難いということは起きない
void -> assump1: 以下のように仮定する。物狂おしいということが起きる; assump1 & fact4 -> int1: 物狂おしいということが生じるし救い難いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「物狂おしいということは起こらない」ということは真実だ; int3 & fact1 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & ¬{B}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis;
転嫁することは起こらないし程遠いということは起きない
$facts$ = fact1: 仮に物狂おしいということは生じないとしたら「転嫁することは発生しないし更に程遠いということは起きない」ということは成り立たない fact2: 「物狂おしいということが起こるし救い難いということは起きない」ということは成り立つということはない fact3: もしもくもちょLv.20事件が起きるとすれば転嫁することは起こらなくて物狂おしいということが起きる fact4: 救い難いということは起きない ; $hypothesis$ = 転嫁することは起こらないし程遠いということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。物狂おしいということが起きる; assump1 & fact4 -> int1: 物狂おしいということが生じるし救い難いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「物狂おしいということは起こらない」ということは真実だ; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & ¬{B}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis; __DISPROVED__