ぷゆぷにLv.38事件が起こる
fact1: みよみのLv.78事件が起こるしそれに幼いということが起こる fact2: ぷゆぷにLv.38事件は「みよみのLv.78事件と腐り易いということ両方ともが起きる」ということに阻まれる fact3: もし仮にみくみねLv.31事件は起きないとすると「腐り易いということは起きなくて加えてまやまやLv.11事件は起こらない」ということは真実でない fact4: 腐り易いということが起こる fact5: 幼いということが起こる fact6: 「もし仮に「疾しということが発生するけど程近いということは発生しない」ということは成り立たないならみくみねLv.31事件は発生しない」ということは事実である fact7: 「燃えることが発生する」ということは確かだ fact8: 幼いということは起きないということは「みよみのLv.78事件およびぷゆぷにLv.38事件が発生する」ということの原因となる
fact1 -> int1: みよみのLv.78事件が発生する; int1 & fact4 -> int2: みよみのLv.78事件と腐り易いということ両方ともが発生する; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
ぷゆぷにLv.38事件が起こる
$facts$ = fact1: みよみのLv.78事件が起こるしそれに幼いということが起こる fact2: ぷゆぷにLv.38事件は「みよみのLv.78事件と腐り易いということ両方ともが起きる」ということに阻まれる fact3: もし仮にみくみねLv.31事件は起きないとすると「腐り易いということは起きなくて加えてまやまやLv.11事件は起こらない」ということは真実でない fact4: 腐り易いということが起こる fact5: 幼いということが起こる fact6: 「もし仮に「疾しということが発生するけど程近いということは発生しない」ということは成り立たないならみくみねLv.31事件は発生しない」ということは事実である fact7: 「燃えることが発生する」ということは確かだ fact8: 幼いということは起きないということは「みよみのLv.78事件およびぷゆぷにLv.38事件が発生する」ということの原因となる ; $hypothesis$ = ぷゆぷにLv.38事件が起こる ; $proof$ = 
fact1 -> int1: みよみのLv.78事件が発生する; int1 & fact4 -> int2: みよみのLv.78事件と腐り易いということ両方ともが発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__