「ぴわぴのLv.39事件が発生する」ということは確かである
fact1: もしぴねぴにLv.52事件および差別化すること両方が起きるとすればぴわぴのLv.39事件は生じない fact2: 仮に旨いということは起きないとするともなもちゃLv.17事件は起きなくて差別化することが起きる fact3: 古臭いということが起きる fact4: ぴねぴにLv.52事件は発生しないということは「もなもちゃLv.17事件ではなくて差別化することが生じる」ということに引き起こされる fact5: もし「残り難いということおよび旨いということどちらもが起こる」ということは誤りであるとすれば「旨いということは起こらない」ということは真実である fact6: ぴねぴにLv.52事件は生じないということはもやもいLv.58事件に阻止される fact7: 差別化することが生じる fact8: 勤しむことは生じない fact9: もやもいLv.58事件が発生する
fact6 & fact9 -> int1: ぴねぴにLv.52事件が生じる; int1 & fact7 -> int2: ぴねぴにLv.52事件と差別化することが発生する; int2 & fact1 -> hypothesis;
fact6 & fact9 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
「ぴわぴのLv.39事件が発生する」ということは確かである
$facts$ = fact1: もしぴねぴにLv.52事件および差別化すること両方が起きるとすればぴわぴのLv.39事件は生じない fact2: 仮に旨いということは起きないとするともなもちゃLv.17事件は起きなくて差別化することが起きる fact3: 古臭いということが起きる fact4: ぴねぴにLv.52事件は発生しないということは「もなもちゃLv.17事件ではなくて差別化することが生じる」ということに引き起こされる fact5: もし「残り難いということおよび旨いということどちらもが起こる」ということは誤りであるとすれば「旨いということは起こらない」ということは真実である fact6: ぴねぴにLv.52事件は生じないということはもやもいLv.58事件に阻止される fact7: 差別化することが生じる fact8: 勤しむことは生じない fact9: もやもいLv.58事件が発生する ; $hypothesis$ = 「ぴわぴのLv.39事件が発生する」ということは確かである ; $proof$ = 
fact6 & fact9 -> int1: ぴねぴにLv.52事件が生じる; int1 & fact7 -> int2: ぴねぴにLv.52事件と差別化することが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact9 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__