ぴちょぴにLv.58事件が生じる
fact1: ぴわぴえLv.53事件が「ぽにゃぽわLv.83事件は生じない」ということは原因だ fact2: もし賢いということが起こるし規則正しいということが生じるとしたらぴちょぴにLv.58事件は生じない fact3: 「ぽにゃぽわLv.83事件は起こらない」ということは真実だ fact4: 規則正しいということが発生する fact5: 賢いということおよびぴわぴえLv.53事件が起きるはぽにゃぽわLv.83事件は起きないということにより生じる fact6: もし「ぴわぴえLv.53事件は起きないかあるいは賢いということが起こるかまたはどちらもだ」ということは成り立たないならぴちょぴにLv.58事件が発生する
fact3 & fact5 -> int1: 賢いということおよびぴわぴえLv.53事件両方が生じる; int1 -> int2: 賢いということが生じる; int2 & fact4 -> int3: 賢いということおよび規則正しいということが起こる; int3 & fact2 -> hypothesis;
fact3 & fact5 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis;
ぴちょぴにLv.58事件が生じる
$facts$ = fact1: ぴわぴえLv.53事件が「ぽにゃぽわLv.83事件は生じない」ということは原因だ fact2: もし賢いということが起こるし規則正しいということが生じるとしたらぴちょぴにLv.58事件は生じない fact3: 「ぽにゃぽわLv.83事件は起こらない」ということは真実だ fact4: 規則正しいということが発生する fact5: 賢いということおよびぴわぴえLv.53事件が起きるはぽにゃぽわLv.83事件は起きないということにより生じる fact6: もし「ぴわぴえLv.53事件は起きないかあるいは賢いということが起こるかまたはどちらもだ」ということは成り立たないならぴちょぴにLv.58事件が発生する ; $hypothesis$ = ぴちょぴにLv.58事件が生じる ; $proof$ = 
fact3 & fact5 -> int1: 賢いということおよびぴわぴえLv.53事件両方が生じる; int1 -> int2: 賢いということが生じる; int2 & fact4 -> int3: 賢いということおよび規則正しいということが起こる; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__