まなまにゃLv.10事件が起こる
fact1: まにまにLv.53事件がもわもえLv.49事件が発生するということは契機である fact2: まにまにLv.53事件は「御探しすることが起きる一方で御悪いということは起こらない」ということに阻まれる fact3: 「御悪いということかあるいはまにまにLv.53事件が生じる」ということは「まなまにゃLv.10事件は起きない」ということに繋がる fact4: もわもえLv.49事件が発生する fact5: もしも御悪いということが起きるとすれば「まにまにLv.53事件が起きないかもしくはもわもえLv.49事件は発生する」ということは誤りだ fact6: みやみにゅLv.47事件は生じないということは「御探しすることが生じるけれど御悪いということは起きない」ということを招く fact7: 「「まにまにLv.53事件は発生しないかもしくはもわもえLv.49事件が起こるかもしくは両方ともだ」ということは嘘であるならばぽくぽにLv.54事件は起きない」ということは真実だ fact8: もゆもわLv.61事件が起きないしおまけに分かり辛いということは発生しないとすればみやみにゅLv.47事件は起こらない
fact1 & fact4 -> int1: まにまにLv.53事件が発生する; int1 -> int2: 御悪いということが生じるかあるいはまにまにLv.53事件が起きる; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis;
ぽくぽにLv.54事件は発生しない
$facts$ = fact1: まにまにLv.53事件がもわもえLv.49事件が発生するということは契機である fact2: まにまにLv.53事件は「御探しすることが起きる一方で御悪いということは起こらない」ということに阻まれる fact3: 「御悪いということかあるいはまにまにLv.53事件が生じる」ということは「まなまにゃLv.10事件は起きない」ということに繋がる fact4: もわもえLv.49事件が発生する fact5: もしも御悪いということが起きるとすれば「まにまにLv.53事件が起きないかもしくはもわもえLv.49事件は発生する」ということは誤りだ fact6: みやみにゅLv.47事件は生じないということは「御探しすることが生じるけれど御悪いということは起きない」ということを招く fact7: 「「まにまにLv.53事件は発生しないかもしくはもわもえLv.49事件が起こるかもしくは両方ともだ」ということは嘘であるならばぽくぽにLv.54事件は起きない」ということは真実だ fact8: もゆもわLv.61事件が起きないしおまけに分かり辛いということは発生しないとすればみやみにゅLv.47事件は起こらない ; $hypothesis$ = まなまにゃLv.10事件が起こる ; $proof$ = 
fact1 & fact4 -> int1: まにまにLv.53事件が発生する; int1 -> int2: 御悪いということが生じるかあるいはまにまにLv.53事件が起きる; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis; __DISPROVED__