みにみちょLv.0事件は生じない
fact1: まやまちゅLv.17事件は「みいみにゃLv.23事件は起こらない」ということを阻止する fact2: 仮に「ぴよぴちゃLv.38事件が起きるし加えて鋭いということが発生する」ということは間違いだとしたら仄暗いということは生じない fact3: ぷわぷにょLv.43事件はみねみくLv.28事件を引き起こす fact4: もし「「みいみにゃLv.23事件および発生し難いということが起きる」ということは成り立たない」ということは確かだとすればみいみにゃLv.23事件は生じない fact5: 仄暗いということが生じる fact6: 思い込ますことが発生するかもしくはぷわぷにょLv.43事件が起きるか両方ともだ fact7: まわまのLv.68事件は起こらない fact8: ぷわぷにょLv.43事件は「「みねみくLv.28事件は生じないがしかしまやまちゅLv.17事件が起こる」ということは正しい」ということに阻まれる fact9: 「みにみちょLv.0事件は起こらない」ということはみいみにゃLv.23事件と仄暗いということが起きるに由来する fact10: ぴにゃぴえLv.33事件は取り出し易いということは起こらないということを阻止する fact11: 「まやまちゅLv.17事件は発生しない」ということはみねみくLv.28事件に防がれる fact12: 「みねみくLv.28事件は起こらない」ということは思い込ますことに阻止される
fact6 & fact12 & fact3 -> int1: みねみくLv.28事件が起きる; int1 & fact11 -> int2: まやまちゅLv.17事件が発生する; int2 & fact1 -> int3: みいみにゃLv.23事件が起こる; int3 & fact5 -> int4: みいみにゃLv.23事件と仄暗いということが起こる; int4 & fact9 -> hypothesis;
fact6 & fact12 & fact3 -> int1: {C}; int1 & fact11 -> int2: {D}; int2 & fact1 -> int3: {E}; int3 & fact5 -> int4: ({E} & {F}); int4 & fact9 -> hypothesis;
みにみちょLv.0事件が起こる
$facts$ = fact1: まやまちゅLv.17事件は「みいみにゃLv.23事件は起こらない」ということを阻止する fact2: 仮に「ぴよぴちゃLv.38事件が起きるし加えて鋭いということが発生する」ということは間違いだとしたら仄暗いということは生じない fact3: ぷわぷにょLv.43事件はみねみくLv.28事件を引き起こす fact4: もし「「みいみにゃLv.23事件および発生し難いということが起きる」ということは成り立たない」ということは確かだとすればみいみにゃLv.23事件は生じない fact5: 仄暗いということが生じる fact6: 思い込ますことが発生するかもしくはぷわぷにょLv.43事件が起きるか両方ともだ fact7: まわまのLv.68事件は起こらない fact8: ぷわぷにょLv.43事件は「「みねみくLv.28事件は生じないがしかしまやまちゅLv.17事件が起こる」ということは正しい」ということに阻まれる fact9: 「みにみちょLv.0事件は起こらない」ということはみいみにゃLv.23事件と仄暗いということが起きるに由来する fact10: ぴにゃぴえLv.33事件は取り出し易いということは起こらないということを阻止する fact11: 「まやまちゅLv.17事件は発生しない」ということはみねみくLv.28事件に防がれる fact12: 「みねみくLv.28事件は起こらない」ということは思い込ますことに阻止される ; $hypothesis$ = みにみちょLv.0事件は生じない ; $proof$ = 
fact6 & fact12 & fact3 -> int1: みねみくLv.28事件が起きる; int1 & fact11 -> int2: まやまちゅLv.17事件が発生する; int2 & fact1 -> int3: みいみにゃLv.23事件が起こる; int3 & fact5 -> int4: みいみにゃLv.23事件と仄暗いということが起こる; int4 & fact9 -> hypothesis; __PROVED__
fact6 & fact12 & fact3 -> int1: {C}; int1 & fact11 -> int2: {D}; int2 & fact1 -> int3: {E}; int3 & fact5 -> int4: ({E} & {F}); int4 & fact9 -> hypothesis; __PROVED__