ぷのぷえLv.6事件が生じる
fact1: 仮にぴにゃぴにょLv.61事件は起こらないとすると収まり切れることとぷのぷえLv.6事件が起きる fact2: 茶色っぽいということが生じる fact3: 多しということは起こらない fact4: 収まり切れることかぴにゃぴにょLv.61事件が起こるということかもしくは両方ともは「茶色っぽいということは起こらない」ということに由来する fact5: 多しということは発生しないとすれば収まり切れることは発生するしぴにゃぴにょLv.61事件は発生する fact6: 「仮にぴにゃぴにょLv.61事件と茶色っぽいということが起こるとするとぷのぷえLv.6事件は起こらない」ということは真実である fact7: 収まり切れることが起こる fact8: 多しということは生じないということは収まり切れることは起こらないということを阻む fact9: 「ぷにょぷにLv.28事件は起きない」ということは成り立つ
fact3 & fact5 -> int1: 収まり切れることおよびぴにゃぴにょLv.61事件両方ともが生じる; int1 -> int2: ぴにゃぴにょLv.61事件が発生する; int2 & fact2 -> int3: ぴにゃぴにょLv.61事件および茶色っぽいということが起こる; int3 & fact6 -> hypothesis;
fact3 & fact5 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact6 -> hypothesis;
ぷのぷえLv.6事件が生じる
$facts$ = fact1: 仮にぴにゃぴにょLv.61事件は起こらないとすると収まり切れることとぷのぷえLv.6事件が起きる fact2: 茶色っぽいということが生じる fact3: 多しということは起こらない fact4: 収まり切れることかぴにゃぴにょLv.61事件が起こるということかもしくは両方ともは「茶色っぽいということは起こらない」ということに由来する fact5: 多しということは発生しないとすれば収まり切れることは発生するしぴにゃぴにょLv.61事件は発生する fact6: 「仮にぴにゃぴにょLv.61事件と茶色っぽいということが起こるとするとぷのぷえLv.6事件は起こらない」ということは真実である fact7: 収まり切れることが起こる fact8: 多しということは生じないということは収まり切れることは起こらないということを阻む fact9: 「ぷにょぷにLv.28事件は起きない」ということは成り立つ ; $hypothesis$ = ぷのぷえLv.6事件が生じる ; $proof$ = 
fact3 & fact5 -> int1: 収まり切れることおよびぴにゃぴにょLv.61事件両方ともが生じる; int1 -> int2: ぴにゃぴにょLv.61事件が発生する; int2 & fact2 -> int3: ぴにゃぴにょLv.61事件および茶色っぽいということが起こる; int3 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact6 -> hypothesis; __DISPROVED__