まよまねLv.23事件は生じない
fact1: 啄むことおよび構え易いということが起こるは破れ難いということを阻む fact2: ぴわぴえLv.31事件が発生する fact3: 順応し易いということが起こる fact4: 「茶色いということは起きない」ということは「みいみにゃLv.53事件は起きないし加えて順応し易いということは生じない」ということを誘発する fact5: まよまねLv.23事件は発生しないということは「順応し易いということが発生するしかつぴにゃぴにLv.17事件が起こる」ということにより生じる fact6: 「ぴにゃぴにLv.17事件は起きない」ということは「ぴわぴえLv.31事件が発生するしまよまねLv.23事件が起こる」ということを誘発する fact7: みいみにゃLv.53事件は生じないということはぴわぴえLv.31事件とぴにゃぴにLv.17事件が生じるを生じさせる fact8: みいみにゃLv.53事件は起きない
fact8 & fact7 -> int1: ぴわぴえLv.31事件が起こるしぴにゃぴにLv.17事件が起きる; int1 -> int2: ぴにゃぴにLv.17事件が発生する; int2 & fact3 -> int3: 順応し易いということが起こるしぴにゃぴにLv.17事件が起こる; int3 & fact5 -> hypothesis;
fact8 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({C} & {B}); int3 & fact5 -> hypothesis;
まよまねLv.23事件が起こる
$facts$ = fact1: 啄むことおよび構え易いということが起こるは破れ難いということを阻む fact2: ぴわぴえLv.31事件が発生する fact3: 順応し易いということが起こる fact4: 「茶色いということは起きない」ということは「みいみにゃLv.53事件は起きないし加えて順応し易いということは生じない」ということを誘発する fact5: まよまねLv.23事件は発生しないということは「順応し易いということが発生するしかつぴにゃぴにLv.17事件が起こる」ということにより生じる fact6: 「ぴにゃぴにLv.17事件は起きない」ということは「ぴわぴえLv.31事件が発生するしまよまねLv.23事件が起こる」ということを誘発する fact7: みいみにゃLv.53事件は生じないということはぴわぴえLv.31事件とぴにゃぴにLv.17事件が生じるを生じさせる fact8: みいみにゃLv.53事件は起きない ; $hypothesis$ = まよまねLv.23事件は生じない ; $proof$ = 
fact8 & fact7 -> int1: ぴわぴえLv.31事件が起こるしぴにゃぴにLv.17事件が起きる; int1 -> int2: ぴにゃぴにLv.17事件が発生する; int2 & fact3 -> int3: 順応し易いということが起こるしぴにゃぴにLv.17事件が起こる; int3 & fact5 -> hypothesis; __PROVED__
fact8 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({C} & {B}); int3 & fact5 -> hypothesis; __PROVED__