ぴにゃぴわLv.78事件が発生する
fact1: もにゃもにゅLv.11事件は「ぴにゃぴわLv.78事件は起こらない」ということを回避する fact2: 「デモ行進することが起こる」ということは観測することにもたらされる fact3: デモ行進することはもにゃもにゅLv.11事件を発生させる fact4: 「ぴにゃぴわLv.78事件が起こらなくてしかももゆもえLv.50事件は起こらない」ということはぽにゃぽちゅLv.20事件に誘発される fact5: 観測することが起こる fact6: 仮にもにゃもにゅLv.11事件は発生しないならば「デモ行進することが起こるがしかし観測することは起きない」ということは偽である
fact2 & fact5 -> int1: デモ行進することが生じる; int1 & fact3 -> int2: もにゃもにゅLv.11事件が発生する; int2 & fact1 -> hypothesis;
fact2 & fact5 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis;
「ぴにゃぴわLv.78事件が生じる」ということは成り立たない
$facts$ = fact1: もにゃもにゅLv.11事件は「ぴにゃぴわLv.78事件は起こらない」ということを回避する fact2: 「デモ行進することが起こる」ということは観測することにもたらされる fact3: デモ行進することはもにゃもにゅLv.11事件を発生させる fact4: 「ぴにゃぴわLv.78事件が起こらなくてしかももゆもえLv.50事件は起こらない」ということはぽにゃぽちゅLv.20事件に誘発される fact5: 観測することが起こる fact6: 仮にもにゃもにゅLv.11事件は発生しないならば「デモ行進することが起こるがしかし観測することは起きない」ということは偽である ; $hypothesis$ = ぴにゃぴわLv.78事件が発生する ; $proof$ = 
fact2 & fact5 -> int1: デモ行進することが生じる; int1 & fact3 -> int2: もにゃもにゅLv.11事件が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__