以下のように仮定する。ぽにゃぽいLv.27事件が起こる
fact1: 「心無いということは起きない」ということは事実である fact2: 「もゆもにゅLv.89事件が発生するかぷよぷなLv.81事件が生じる」ということはぴのぴにゃLv.65事件が発生しないということはきっかけである fact3: もゆもにゅLv.89事件が発生する fact4: ぷよぷなLv.81事件が起こる fact5: もしもゆもにゅLv.89事件とぽにゃぽいLv.27事件が生じるならぷよぷなLv.81事件は生じない
void -> assump1: 以下のように仮定する。ぽにゃぽいLv.27事件が起こる; fact3 & assump1 -> int1: もゆもにゅLv.89事件が起こるしぽにゃぽいLv.27事件が起きる; int1 & fact5 -> int2: ぷよぷなLv.81事件は発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぽにゃぽいLv.27事件が起こる
$facts$ = fact1: 「心無いということは起きない」ということは事実である fact2: 「もゆもにゅLv.89事件が発生するかぷよぷなLv.81事件が生じる」ということはぴのぴにゃLv.65事件が発生しないということはきっかけである fact3: もゆもにゅLv.89事件が発生する fact4: ぷよぷなLv.81事件が起こる fact5: もしもゆもにゅLv.89事件とぽにゃぽいLv.27事件が生じるならぷよぷなLv.81事件は生じない ; $hypothesis$ = 以下のように仮定する。ぽにゃぽいLv.27事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽにゃぽいLv.27事件が起こる; fact3 & assump1 -> int1: もゆもにゅLv.89事件が起こるしぽにゃぽいLv.27事件が起きる; int1 & fact5 -> int2: ぷよぷなLv.81事件は発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__