三泊することは生じない
fact1: 其れらしいということは起こらない fact2: 幼しということは「三泊することは起こらない」ということのきっかけとなる fact3: 「ぷにゃぷちゃLv.77事件は発生しない」ということはかったるいということが生じるということかもしくは「御辛いということが発生する」ということかあるいは両方ともを生じさせる fact4: 「遣り難いということは発生しない」ということは禍々しいということに阻まれる fact5: もし遣り難いということかあるいは幼しということかあるいはどちらもが発生するなら「三泊することは発生しない」ということは本当である fact6: もし其れらしいということは生じないならば禍々しいということかあるいは受戒することかまたは両方が発生する fact7: 受戒することは遣り難いということは生じないということを回避する fact8: ぴにぴえLv.56事件かあるいは合わせ辛いということが起こる fact9: 仮に「「其れらしいということが起こるしおまけにみくみにゃLv.92事件が発生する」ということは確かである」ということは偽であるなら幼しということは発生しない fact10: もしも「体操することが生じる」ということは嘘であるとすれば「其れらしいということが生じるししかもみくみにゃLv.92事件が起こる」ということは成り立たない
fact6 & fact1 -> int1: 禍々しいということが起きるかあるいは受戒することが生じるかまたは両方ともである; int1 & fact4 & fact7 -> int2: 遣り難いということが起きる; int2 -> int3: 遣り難いということが発生するかあるいは幼しということが起こる; int3 & fact5 -> hypothesis;
fact6 & fact1 -> int1: ({A} v {B}); int1 & fact4 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact5 -> hypothesis;
三泊することが起きる
$facts$ = fact1: 其れらしいということは起こらない fact2: 幼しということは「三泊することは起こらない」ということのきっかけとなる fact3: 「ぷにゃぷちゃLv.77事件は発生しない」ということはかったるいということが生じるということかもしくは「御辛いということが発生する」ということかあるいは両方ともを生じさせる fact4: 「遣り難いということは発生しない」ということは禍々しいということに阻まれる fact5: もし遣り難いということかあるいは幼しということかあるいはどちらもが発生するなら「三泊することは発生しない」ということは本当である fact6: もし其れらしいということは生じないならば禍々しいということかあるいは受戒することかまたは両方が発生する fact7: 受戒することは遣り難いということは生じないということを回避する fact8: ぴにぴえLv.56事件かあるいは合わせ辛いということが起こる fact9: 仮に「「其れらしいということが起こるしおまけにみくみにゃLv.92事件が発生する」ということは確かである」ということは偽であるなら幼しということは発生しない fact10: もしも「体操することが生じる」ということは嘘であるとすれば「其れらしいということが生じるししかもみくみにゃLv.92事件が起こる」ということは成り立たない ; $hypothesis$ = 三泊することは生じない ; $proof$ = 
fact6 & fact1 -> int1: 禍々しいということが起きるかあるいは受戒することが生じるかまたは両方ともである; int1 & fact4 & fact7 -> int2: 遣り難いということが起きる; int2 -> int3: 遣り難いということが発生するかあるいは幼しということが起こる; int3 & fact5 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: ({A} v {B}); int1 & fact4 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact5 -> hypothesis; __PROVED__