ぽにゅぽにょLv.73事件ではなくまのまいLv.42事件が発生する
fact1: もし仮に聞き易いということが起こるなら喋り難いということではなくぴゆぴなLv.62事件が発生する fact2: ぷのぷやLv.74事件が生じる fact3: もちゃもくLv.90事件が発生する fact4: ぽにゅぽにょLv.73事件は起きないということは「ぽにゅぽにょLv.73事件ではなくてまのまいLv.42事件が起きる」ということに帰結する fact5: 「もちゃもくLv.90事件は発生しない」ということは本当だとすれば「ぽにゅぽにょLv.73事件ではなくてまのまいLv.42事件が発生する」ということは偽である fact6: 「もちゃもくLv.90事件とぷのぷやLv.74事件両方ともが起こる」ということはぽにゅぽにょLv.73事件を防ぐ fact7: 仮にもちゃもくLv.90事件が起こらないとすればみやみよLv.2事件は起きない一方でぴにぴいLv.70事件が起きる fact8: もしも喋り難いということは生じないならばまのまいLv.42事件とばあかしいということ両方ともが発生する
fact3 & fact2 -> int1: もちゃもくLv.90事件およびぷのぷやLv.74事件どちらもが発生する; int1 & fact6 -> int2: ぽにゅぽにょLv.73事件は起こらない; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
みやみよLv.2事件ではなくぴにぴいLv.70事件が起こる
$facts$ = fact1: もし仮に聞き易いということが起こるなら喋り難いということではなくぴゆぴなLv.62事件が発生する fact2: ぷのぷやLv.74事件が生じる fact3: もちゃもくLv.90事件が発生する fact4: ぽにゅぽにょLv.73事件は起きないということは「ぽにゅぽにょLv.73事件ではなくてまのまいLv.42事件が起きる」ということに帰結する fact5: 「もちゃもくLv.90事件は発生しない」ということは本当だとすれば「ぽにゅぽにょLv.73事件ではなくてまのまいLv.42事件が発生する」ということは偽である fact6: 「もちゃもくLv.90事件とぷのぷやLv.74事件両方ともが起こる」ということはぽにゅぽにょLv.73事件を防ぐ fact7: 仮にもちゃもくLv.90事件が起こらないとすればみやみよLv.2事件は起きない一方でぴにぴいLv.70事件が起きる fact8: もしも喋り難いということは生じないならばまのまいLv.42事件とばあかしいということ両方ともが発生する ; $hypothesis$ = ぽにゅぽにょLv.73事件ではなくまのまいLv.42事件が発生する ; $proof$ = 
fact3 & fact2 -> int1: もちゃもくLv.90事件およびぷのぷやLv.74事件どちらもが発生する; int1 & fact6 -> int2: ぽにゅぽにょLv.73事件は起こらない; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __PROVED__