以下のように仮定する。ぷゆぷいLv.14事件が発生する
fact1: ぷのぷよLv.38事件が起きるということは「申し訳無いということは起きない」ということを防ぐ fact2: 重苦しいということは起こらない fact3: ぷのぷよLv.38事件が生じるということはぷゆぷいLv.14事件が契機である fact4: 「申し訳無いということは起きない」ということは確かだ
void -> assump1: 以下のように仮定する。ぷゆぷいLv.14事件が発生する; fact3 & assump1 -> int1: ぷのぷよLv.38事件が生じる; int1 & fact1 -> int2: 申し訳無いということが発生する; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: ぷのぷよLv.38事件が起きるということは「申し訳無いということは起きない」ということを防ぐ fact2: 重苦しいということは起こらない fact3: ぷのぷよLv.38事件が生じるということはぷゆぷいLv.14事件が契機である fact4: 「申し訳無いということは起きない」ということは確かだ ; $hypothesis$ = 以下のように仮定する。ぷゆぷいLv.14事件が発生する ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷゆぷいLv.14事件が発生する; fact3 & assump1 -> int1: ぷのぷよLv.38事件が生じる; int1 & fact1 -> int2: 申し訳無いということが発生する; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__