以下のように仮定する。ぽにゃぽのLv.49事件は起こらない
fact1: かじかむことが起こる fact2: ぽにゃぽのLv.49事件は起きないということは「ものもいLv.77事件は起きない」ということに帰結する fact3: 仮に「ぽにゃぽのLv.49事件が生じなくてかつものもいLv.77事件は生じない」ということは間違っているとしたら多しということが生じる fact4: ものもいLv.77事件が発生する fact5: 仮に軽ーいということが発生すれば「ぽにゃぽのLv.49事件が起こらないしかつものもいLv.77事件は起きない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。ぽにゃぽのLv.49事件は起こらない; fact2 & assump1 -> int1: ものもいLv.77事件は発生しない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬{B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
多しということが起こる
$facts$ = fact1: かじかむことが起こる fact2: ぽにゃぽのLv.49事件は起きないということは「ものもいLv.77事件は起きない」ということに帰結する fact3: 仮に「ぽにゃぽのLv.49事件が生じなくてかつものもいLv.77事件は生じない」ということは間違っているとしたら多しということが生じる fact4: ものもいLv.77事件が発生する fact5: 仮に軽ーいということが発生すれば「ぽにゃぽのLv.49事件が起こらないしかつものもいLv.77事件は起きない」ということは成り立つということはない ; $hypothesis$ = 以下のように仮定する。ぽにゃぽのLv.49事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽにゃぽのLv.49事件は起こらない; fact2 & assump1 -> int1: ものもいLv.77事件は発生しない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬{B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__