常備することは起きない
fact1: もゆもやLv.16事件は起きない fact2: 「みにみいLv.11事件が起きる」ということは成り立つ fact3: ぷわぷゆLv.46事件が発生するしぽにゃぽちょLv.8事件が生じる fact4: 「常備することは起こらない」ということは「凛々しいということが起こるし更にみにみいLv.11事件が起きる」ということに起因する fact5: 凛々しいということと心優しいということが生じる
fact5 -> int1: 凛々しいということが起こる; int1 & fact2 -> int2: 凛々しいということが発生するしみにみいLv.11事件が起こる; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
ぷわぷゆLv.46事件と脱臼すること両方が起きる
fact6 -> int3: ぷわぷゆLv.46事件が起きる;
$facts$ = fact1: もゆもやLv.16事件は起きない fact2: 「みにみいLv.11事件が起きる」ということは成り立つ fact3: ぷわぷゆLv.46事件が発生するしぽにゃぽちょLv.8事件が生じる fact4: 「常備することは起こらない」ということは「凛々しいということが起こるし更にみにみいLv.11事件が起きる」ということに起因する fact5: 凛々しいということと心優しいということが生じる ; $hypothesis$ = 常備することは起きない ; $proof$ = 
fact5 -> int1: 凛々しいということが起こる; int1 & fact2 -> int2: 凛々しいということが発生するしみにみいLv.11事件が起こる; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__