ぷゆぷいLv.22事件が起きる
fact1: 「ぷにぷにゃLv.6事件は起きないけどライセンスすることが起きる」ということは「ぴのぴちゃLv.18事件は起きない」ということに帰結する fact2: もしも「ぷにぷにゃLv.6事件は起きないしライセンスすることが起こる」ということは成り立たないとしたらぷゆぷいLv.22事件は生じない fact3: ぴのぴちゃLv.18事件が発生する fact4: もし仮に関係深いということが起こるとすればぴのぴちゃLv.18事件は生じないしぷゆぷいLv.22事件が起きる fact5: 「ぷゆぷいLv.22事件は発生しない」ということは「ライセンスすることは起きない」ということに引き起こされる fact6: に対して見ることが起こらないならば関係深いということは発生するし更にみなみえLv.0事件は発生する
void -> assump1: 以下のように仮定する。ぷにぷにゃLv.6事件ではなくてライセンスすることが起こる; fact1 & assump1 -> int1: ぴのぴちゃLv.18事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷにぷにゃLv.6事件が発生しないけれどライセンスすることは発生する」ということは偽である; int3 & fact2 -> hypothesis;
void -> assump1: (¬{AA} & {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & {AB}); int3 & fact2 -> hypothesis;
ぷゆぷいLv.22事件が起きる
$facts$ = fact1: 「ぷにぷにゃLv.6事件は起きないけどライセンスすることが起きる」ということは「ぴのぴちゃLv.18事件は起きない」ということに帰結する fact2: もしも「ぷにぷにゃLv.6事件は起きないしライセンスすることが起こる」ということは成り立たないとしたらぷゆぷいLv.22事件は生じない fact3: ぴのぴちゃLv.18事件が発生する fact4: もし仮に関係深いということが起こるとすればぴのぴちゃLv.18事件は生じないしぷゆぷいLv.22事件が起きる fact5: 「ぷゆぷいLv.22事件は発生しない」ということは「ライセンスすることは起きない」ということに引き起こされる fact6: に対して見ることが起こらないならば関係深いということは発生するし更にみなみえLv.0事件は発生する ; $hypothesis$ = ぷゆぷいLv.22事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷにぷにゃLv.6事件ではなくてライセンスすることが起こる; fact1 & assump1 -> int1: ぴのぴちゃLv.18事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷにぷにゃLv.6事件が発生しないけれどライセンスすることは発生する」ということは偽である; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: (¬{AA} & {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & {AB}); int3 & fact2 -> hypothesis; __DISPROVED__