「ぴにょぴちょLv.50事件は生じない」ということは確かである
fact1: もし仮に真新しいということが生じるとするとみいみにLv.23事件は生じないがしかし予測し易いということが起きる fact2: 「みいみにLv.23事件は起きない」ということはぴねぴよLv.70事件に阻まれる fact3: みいみにLv.23事件は生じないとしたら「ぴねぴよLv.70事件は起こらなくてその上黒っぽいということは生じない」ということは間違いだ fact4: もし黒っぽいということは起きないとすると行儀良いということが起こるしぴねぴよLv.70事件が発生する fact5: ぴねぴよLv.70事件と黒っぽいということ両方が起きる fact6: 黒っぽいということが起こる fact7: ぴにょぴちょLv.50事件はみいみにLv.23事件により生じる fact8: もしぽにゃぽちょLv.39事件が生じないとしたら真新しいということが生じるし図太いということは発生する
fact5 -> int1: ぴねぴよLv.70事件が起きる; int1 & fact2 -> int2: みいみにLv.23事件が起きる; int2 & fact7 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact7 -> hypothesis;
行儀良いということが発生する
$facts$ = fact1: もし仮に真新しいということが生じるとするとみいみにLv.23事件は生じないがしかし予測し易いということが起きる fact2: 「みいみにLv.23事件は起きない」ということはぴねぴよLv.70事件に阻まれる fact3: みいみにLv.23事件は生じないとしたら「ぴねぴよLv.70事件は起こらなくてその上黒っぽいということは生じない」ということは間違いだ fact4: もし黒っぽいということは起きないとすると行儀良いということが起こるしぴねぴよLv.70事件が発生する fact5: ぴねぴよLv.70事件と黒っぽいということ両方が起きる fact6: 黒っぽいということが起こる fact7: ぴにょぴちょLv.50事件はみいみにLv.23事件により生じる fact8: もしぽにゃぽちょLv.39事件が生じないとしたら真新しいということが生じるし図太いということは発生する ; $hypothesis$ = 「ぴにょぴちょLv.50事件は生じない」ということは確かである ; $proof$ = 
fact5 -> int1: ぴねぴよLv.70事件が起きる; int1 & fact2 -> int2: みいみにLv.23事件が起きる; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact7 -> hypothesis; __DISPROVED__