ぽよぽちゅLv.94事件が生じないならぷくぷのLv.57事件が起こるけどぽよぽちゅLv.94事件は起こらない
fact1: 仮にぽよぽちゅLv.94事件が発生するならぷくぷのLv.57事件が起こるけれどぽよぽちゅLv.94事件は起きない fact2: ぷくぷのLv.57事件が生じる fact3: もしぷにゃぷいLv.25事件が起こらないとすると足留めすることが起きるがしかしぷにゃぷいLv.25事件は発生しない fact4: 「もえもにゃLv.88事件は発生しないしぷくぷのLv.57事件が生じる」ということはぽよぽちゅLv.94事件が契機だ
void -> assump1: 以下のように仮定する。ぽよぽちゅLv.94事件は起こらない; fact2 & assump1 -> int1: ぷくぷのLv.57事件が起こるしぽよぽちゅLv.94事件は起こらない; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{B}; fact2 & assump1 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis;
もえもにゃLv.88事件は生じない
$facts$ = fact1: 仮にぽよぽちゅLv.94事件が発生するならぷくぷのLv.57事件が起こるけれどぽよぽちゅLv.94事件は起きない fact2: ぷくぷのLv.57事件が生じる fact3: もしぷにゃぷいLv.25事件が起こらないとすると足留めすることが起きるがしかしぷにゃぷいLv.25事件は発生しない fact4: 「もえもにゃLv.88事件は発生しないしぷくぷのLv.57事件が生じる」ということはぽよぽちゅLv.94事件が契機だ ; $hypothesis$ = ぽよぽちゅLv.94事件が生じないならぷくぷのLv.57事件が起こるけどぽよぽちゅLv.94事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽよぽちゅLv.94事件は起こらない; fact2 & assump1 -> int1: ぷくぷのLv.57事件が起こるしぽよぽちゅLv.94事件は起こらない; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{B}; fact2 & assump1 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis; __PROVED__