ぷやぷくLv.81事件が発生する
fact1: 殺傷することとぷにょぷやLv.78事件が生じるはぷやぷくLv.81事件が発生するということを阻止する fact2: もし「殺傷することは起こらない」ということは事実であればぷやぷくLv.81事件およびぷにょぷやLv.78事件どちらもが起きる fact3: ぷにょぷやLv.78事件が発生する fact4: もよもいLv.89事件ではなく飛行機らしいということが起きる fact5: もしもよもいLv.89事件は起こらないけれど飛行機らしいということが生じるとすれば殺傷することが起こる
fact5 & fact4 -> int1: 殺傷することが起きる; int1 & fact3 -> int2: 殺傷することが起こるしおまけにぷにょぷやLv.78事件が起こる; int2 & fact1 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis;
ぷやぷくLv.81事件が発生する
$facts$ = fact1: 殺傷することとぷにょぷやLv.78事件が生じるはぷやぷくLv.81事件が発生するということを阻止する fact2: もし「殺傷することは起こらない」ということは事実であればぷやぷくLv.81事件およびぷにょぷやLv.78事件どちらもが起きる fact3: ぷにょぷやLv.78事件が発生する fact4: もよもいLv.89事件ではなく飛行機らしいということが起きる fact5: もしもよもいLv.89事件は起こらないけれど飛行機らしいということが生じるとすれば殺傷することが起こる ; $hypothesis$ = ぷやぷくLv.81事件が発生する ; $proof$ = 
fact5 & fact4 -> int1: 殺傷することが起きる; int1 & fact3 -> int2: 殺傷することが起こるしおまけにぷにょぷやLv.78事件が起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis; __DISPROVED__