適用すことは起こらない
fact1: まわまなLv.46事件が起こる fact2: 少ないということは「まわまねLv.26事件は起きない」ということを阻止する fact3: もしもぴにゃぴにゅLv.55事件が起こらなくて更にぽくぽちょLv.79事件が起きないとしたらもにゃもなLv.16事件は起きない fact4: 少ないということか惨いということが発生する fact5: もしもにゃもなLv.16事件かもしくはまわまねLv.26事件かどちらもが起こるとすれば適用すことは発生しない fact6: まわまねLv.26事件は惨いということにもたらされる
fact4 & fact2 & fact6 -> int1: まわまねLv.26事件が起きる; int1 -> int2: もにゃもなLv.16事件かまたはまわまねLv.26事件が生じる; int2 & fact5 -> hypothesis;
fact4 & fact2 & fact6 -> int1: {C}; int1 -> int2: ({D} v {C}); int2 & fact5 -> hypothesis;
適用すことが起きる
$facts$ = fact1: まわまなLv.46事件が起こる fact2: 少ないということは「まわまねLv.26事件は起きない」ということを阻止する fact3: もしもぴにゃぴにゅLv.55事件が起こらなくて更にぽくぽちょLv.79事件が起きないとしたらもにゃもなLv.16事件は起きない fact4: 少ないということか惨いということが発生する fact5: もしもにゃもなLv.16事件かもしくはまわまねLv.26事件かどちらもが起こるとすれば適用すことは発生しない fact6: まわまねLv.26事件は惨いということにもたらされる ; $hypothesis$ = 適用すことは起こらない ; $proof$ = 
fact4 & fact2 & fact6 -> int1: まわまねLv.26事件が起きる; int1 -> int2: もにゃもなLv.16事件かまたはまわまねLv.26事件が生じる; int2 & fact5 -> hypothesis; __PROVED__
fact4 & fact2 & fact6 -> int1: {C}; int1 -> int2: ({D} v {C}); int2 & fact5 -> hypothesis; __PROVED__