「尤もらしいということは発生しない」ということは成り立つ
fact1: 仮にもやもわLv.89事件が起こらないとすればまのまくLv.49事件は発生するし快いということが起こる fact2: 尤もらしいということは「油っぽいということが起きるが呆気ないということは起きない」ということが契機だ fact3: 良しということが生じる fact4: 「冬らしいということが発生する」ということは「油っぽいということが起きるし呆気ないということは起きない」ということに帰結する fact5: 「敵中深いということが起きる」ということは冬らしいということを発生させる fact6: 敵中深いということはまのまくLv.49事件が原因だ fact7: 良しということは取れ難いということを誘発する fact8: 「尤もらしいということは起きない」ということはみゆみのLv.22事件かあるいは取れ難いということがきっかけである
fact7 & fact3 -> int1: 取れ難いということが起こる; int1 -> int2: みゆみのLv.22事件が起きるかまたは取れ難いということが発生する; int2 & fact8 -> hypothesis;
fact7 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact8 -> hypothesis;
広いということが発生する
$facts$ = fact1: 仮にもやもわLv.89事件が起こらないとすればまのまくLv.49事件は発生するし快いということが起こる fact2: 尤もらしいということは「油っぽいということが起きるが呆気ないということは起きない」ということが契機だ fact3: 良しということが生じる fact4: 「冬らしいということが発生する」ということは「油っぽいということが起きるし呆気ないということは起きない」ということに帰結する fact5: 「敵中深いということが起きる」ということは冬らしいということを発生させる fact6: 敵中深いということはまのまくLv.49事件が原因だ fact7: 良しということは取れ難いということを誘発する fact8: 「尤もらしいということは起きない」ということはみゆみのLv.22事件かあるいは取れ難いということがきっかけである ; $hypothesis$ = 「尤もらしいということは発生しない」ということは成り立つ ; $proof$ = 
fact7 & fact3 -> int1: 取れ難いということが起こる; int1 -> int2: みゆみのLv.22事件が起きるかまたは取れ難いということが発生する; int2 & fact8 -> hypothesis; __PROVED__
fact7 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact8 -> hypothesis; __PROVED__