しどけないということが生じる
fact1: ぴにょぴちょLv.97事件は生じない fact2: 「みちゅみちょLv.0事件が発生する」ということは本当だ fact3: もしまにゅまにLv.47事件は発生しないならしどけないということおよび踏むこと両方ともが起きる fact4: しどけないということは起きないということは「まにゅまにLv.47事件が起こるしみちゅみちょLv.0事件が生じる」ということにより発生する fact5: 「もにもやLv.97事件と事足ることが発生する」ということは「ぴにゃぴやLv.87事件が発生する」ということを阻止する fact6: 踏むことが起きる fact7: 踏むことがぴにょぴちょLv.97事件は発生しないということにもたらされる fact8: 仮にぴにょぴちょLv.97事件は生じないならば「踏むことが発生するしその上まにゅまにLv.47事件は発生する」ということは真実である
fact8 & fact1 -> int1: 踏むこととまにゅまにLv.47事件両方ともが起こる; int1 -> int2: まにゅまにLv.47事件が起こる; int2 & fact2 -> int3: まにゅまにLv.47事件とみちゅみちょLv.0事件両方が起きる; int3 & fact4 -> hypothesis;
fact8 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis;
しどけないということが生じる
$facts$ = fact1: ぴにょぴちょLv.97事件は生じない fact2: 「みちゅみちょLv.0事件が発生する」ということは本当だ fact3: もしまにゅまにLv.47事件は発生しないならしどけないということおよび踏むこと両方ともが起きる fact4: しどけないということは起きないということは「まにゅまにLv.47事件が起こるしみちゅみちょLv.0事件が生じる」ということにより発生する fact5: 「もにもやLv.97事件と事足ることが発生する」ということは「ぴにゃぴやLv.87事件が発生する」ということを阻止する fact6: 踏むことが起きる fact7: 踏むことがぴにょぴちょLv.97事件は発生しないということにもたらされる fact8: 仮にぴにょぴちょLv.97事件は生じないならば「踏むことが発生するしその上まにゅまにLv.47事件は発生する」ということは真実である ; $hypothesis$ = しどけないということが生じる ; $proof$ = 
fact8 & fact1 -> int1: 踏むこととまにゅまにLv.47事件両方ともが起こる; int1 -> int2: まにゅまにLv.47事件が起こる; int2 & fact2 -> int3: まにゅまにLv.47事件とみちゅみちょLv.0事件両方が起きる; int3 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis; __DISPROVED__