ぽのぽにょLv.54事件は発生しない
fact1: 「ぽのぽにょLv.54事件は発生しない」ということはぴゆぴよLv.94事件に阻止される fact2: もし仮にぽのぽにょLv.54事件が生じなくてそれにぽなぽちゃLv.62事件が起こらないとしたらぴゆぴよLv.94事件は生じない fact3: 「まえまちゅLv.78事件が起きる」ということは成り立つ fact4: 仮にまえまちゅLv.78事件が起こるとしたらぴゆぴよLv.94事件が生じる
fact4 & fact3 -> int1: ぴゆぴよLv.94事件が発生する; int1 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact1 -> hypothesis;
みにゃみなLv.97事件が生じる
$facts$ = fact1: 「ぽのぽにょLv.54事件は発生しない」ということはぴゆぴよLv.94事件に阻止される fact2: もし仮にぽのぽにょLv.54事件が生じなくてそれにぽなぽちゃLv.62事件が起こらないとしたらぴゆぴよLv.94事件は生じない fact3: 「まえまちゅLv.78事件が起きる」ということは成り立つ fact4: 仮にまえまちゅLv.78事件が起こるとしたらぴゆぴよLv.94事件が生じる ; $hypothesis$ = ぽのぽにょLv.54事件は発生しない ; $proof$ = 
fact4 & fact3 -> int1: ぴゆぴよLv.94事件が発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}; int1 & fact1 -> hypothesis; __DISPROVED__