ぷなぷにゃLv.31事件は起きない
fact1: 「言い給うことが生じる」ということは正しい fact2: まにゅまよLv.95事件が起こるし加えて儚いということが発生する fact3: 狙い易いということが発生する fact4: ぷなぷにゃLv.31事件は「素人っぽいということとみえみにゃLv.73事件が発生する」ということに阻まれる fact5: 狙い易いということが起こるし更に素人っぽいということが起こる fact6: かわゆいということは起きない fact7: みえみにゃLv.73事件が生じる fact8: 「みわみちゃLv.22事件は生じない」ということは狙い易いということに防がれる
fact5 -> int1: 素人っぽいということが起こる; int1 & fact7 -> int2: 素人っぽいということおよびみえみにゃLv.73事件両方ともが生じる; int2 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
みわみちゃLv.22事件が発生する
$facts$ = fact1: 「言い給うことが生じる」ということは正しい fact2: まにゅまよLv.95事件が起こるし加えて儚いということが発生する fact3: 狙い易いということが発生する fact4: ぷなぷにゃLv.31事件は「素人っぽいということとみえみにゃLv.73事件が発生する」ということに阻まれる fact5: 狙い易いということが起こるし更に素人っぽいということが起こる fact6: かわゆいということは起きない fact7: みえみにゃLv.73事件が生じる fact8: 「みわみちゃLv.22事件は生じない」ということは狙い易いということに防がれる ; $hypothesis$ = ぷなぷにゃLv.31事件は起きない ; $proof$ = 
fact5 -> int1: 素人っぽいということが起こる; int1 & fact7 -> int2: 素人っぽいということおよびみえみにゃLv.73事件両方ともが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__