ぴにゅぴちゃLv.82事件が生じる
fact1: 「確認し難いということは発生しない」ということは正しい fact2: ぴにゅぴちゃLv.82事件は「ぴゆぴいLv.37事件とぷちょぷにLv.55事件が発生する」ということに防がれる fact3: ぴゆぴいLv.37事件が生じる fact4: 「ぷくぷやLv.12事件は発生しない」ということは「ぷちょぷにLv.55事件かまたはぴゆぴいLv.37事件が発生する」ということに帰結する fact5: 其れらしいということとぷちょぷにLv.55事件どちらもが生じる
fact5 -> int1: ぷちょぷにLv.55事件が発生する; int1 & fact3 -> int2: ぴゆぴいLv.37事件およびぷちょぷにLv.55事件が起こる; int2 & fact2 -> hypothesis;
fact5 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis;
ぴにゅぴちゃLv.82事件が生じる
$facts$ = fact1: 「確認し難いということは発生しない」ということは正しい fact2: ぴにゅぴちゃLv.82事件は「ぴゆぴいLv.37事件とぷちょぷにLv.55事件が発生する」ということに防がれる fact3: ぴゆぴいLv.37事件が生じる fact4: 「ぷくぷやLv.12事件は発生しない」ということは「ぷちょぷにLv.55事件かまたはぴゆぴいLv.37事件が発生する」ということに帰結する fact5: 其れらしいということとぷちょぷにLv.55事件どちらもが生じる ; $hypothesis$ = ぴにゅぴちゃLv.82事件が生じる ; $proof$ = 
fact5 -> int1: ぷちょぷにLv.55事件が発生する; int1 & fact3 -> int2: ぴゆぴいLv.37事件およびぷちょぷにLv.55事件が起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis; __DISPROVED__