「ぴにゃぴえLv.9事件はまいまにLv.4事件を阻む」ということは偽である
fact1: もし正当化し得ることが生じないならまいまにLv.4事件およびぴちゃぴちゃLv.75事件は発生する fact2: ぴにゃぴえLv.9事件およびぽちゅぽなLv.46事件が起きるは「まいまにLv.4事件は発生しない」ということを防ぐ fact3: ぴにゃぴえLv.9事件はまいまにLv.4事件を生じさせる fact4: 「まいまにLv.4事件が起こる」ということはぴにゃぴえLv.9事件とぽちゅぽなLv.46事件が発生するに防がれる fact5: 仮に「御任せることが発生しないかまたはぽちょぽえLv.41事件は生じないかもしくはどちらもである」ということは嘘であるとすれば正当化し得ることは起きない fact6: ぽちゅぽなLv.46事件が起きるしその上湿気易いということが起きる fact7: 湿気易いということは起こらないとしたら倒錯することおよびぽちゅぽなLv.46事件両方が起きる
fact6 -> int1: ぽちゅぽなLv.46事件が発生する; void -> assump1: 以下のように仮定する。ぴにゃぴえLv.9事件が起こる; int1 & assump1 -> int2: ぴにゃぴえLv.9事件が起こるしまたぽちゅぽなLv.46事件が起こる; int2 & fact4 -> int3: まいまにLv.4事件は起こらない; [assump1] & int3 -> hypothesis;
fact6 -> int1: {A}; void -> assump1: {C}; int1 & assump1 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; [assump1] & int3 -> hypothesis;
「倒錯することが起こる」ということは成り立つ
$facts$ = fact1: もし正当化し得ることが生じないならまいまにLv.4事件およびぴちゃぴちゃLv.75事件は発生する fact2: ぴにゃぴえLv.9事件およびぽちゅぽなLv.46事件が起きるは「まいまにLv.4事件は発生しない」ということを防ぐ fact3: ぴにゃぴえLv.9事件はまいまにLv.4事件を生じさせる fact4: 「まいまにLv.4事件が起こる」ということはぴにゃぴえLv.9事件とぽちゅぽなLv.46事件が発生するに防がれる fact5: 仮に「御任せることが発生しないかまたはぽちょぽえLv.41事件は生じないかもしくはどちらもである」ということは嘘であるとすれば正当化し得ることは起きない fact6: ぽちゅぽなLv.46事件が起きるしその上湿気易いということが起きる fact7: 湿気易いということは起こらないとしたら倒錯することおよびぽちゅぽなLv.46事件両方が起きる ; $hypothesis$ = 「ぴにゃぴえLv.9事件はまいまにLv.4事件を阻む」ということは偽である ; $proof$ = 
fact6 -> int1: ぽちゅぽなLv.46事件が発生する; void -> assump1: 以下のように仮定する。ぴにゃぴえLv.9事件が起こる; int1 & assump1 -> int2: ぴにゃぴえLv.9事件が起こるしまたぽちゅぽなLv.46事件が起こる; int2 & fact4 -> int3: まいまにLv.4事件は起こらない; [assump1] & int3 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; void -> assump1: {C}; int1 & assump1 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; [assump1] & int3 -> hypothesis; __DISPROVED__