信心深いということは起きない
fact1: 「ぽにぽゆLv.91事件が起こる」ということはもちゅもにゃLv.62事件に帰結する fact2: 罹り易いということが起きる fact3: ぷにゃぷくLv.63事件が起きる fact4: もしもぽにぽやLv.66事件が生じるとすればぽにぽゆLv.91事件が起こる fact5: 罹り易いということおよびもちゅもにゃLv.62事件が生じるは「信心深いということは発生しない」ということを発生させる fact6: ぽにぽやLv.66事件は生じないということはぷにゃぷくLv.63事件に阻まれる
fact6 & fact3 -> int1: ぽにぽやLv.66事件が起こる; int1 & fact4 -> int2: ぽにぽゆLv.91事件が起こる; int2 & fact1 -> int3: もちゅもにゃLv.62事件が起こる; int3 & fact2 -> int4: 罹り易いということが起きるしそれにもちゅもにゃLv.62事件が起こる; int4 & fact5 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact2 -> int4: ({E} & {D}); int4 & fact5 -> hypothesis;
$facts$ = fact1: 「ぽにぽゆLv.91事件が起こる」ということはもちゅもにゃLv.62事件に帰結する fact2: 罹り易いということが起きる fact3: ぷにゃぷくLv.63事件が起きる fact4: もしもぽにぽやLv.66事件が生じるとすればぽにぽゆLv.91事件が起こる fact5: 罹り易いということおよびもちゅもにゃLv.62事件が生じるは「信心深いということは発生しない」ということを発生させる fact6: ぽにぽやLv.66事件は生じないということはぷにゃぷくLv.63事件に阻まれる ; $hypothesis$ = 信心深いということは起きない ; $proof$ = 
fact6 & fact3 -> int1: ぽにぽやLv.66事件が起こる; int1 & fact4 -> int2: ぽにぽゆLv.91事件が起こる; int2 & fact1 -> int3: もちゅもにゃLv.62事件が起こる; int3 & fact2 -> int4: 罹り易いということが起きるしそれにもちゅもにゃLv.62事件が起こる; int4 & fact5 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact2 -> int4: ({E} & {D}); int4 & fact5 -> hypothesis; __PROVED__