ぴくぴよLv.23事件が起きる
fact1: 物珍しいということは発生しない fact2: もしも「まよまわLv.55事件は起きないし遣り難いということは起きない」ということは間違いであるならば物珍しいということが起こる fact3: もし仮にまよまわLv.55事件が発生しなくて更に遣り難いということは発生しないとすればぴくぴよLv.23事件は起きない fact4: もし惨たらしいということは起こらないとしたらぴくぴよLv.23事件と物珍しいということどちらもが生じる fact5: まよまわLv.55事件は生じない fact6: 聞き取り易いということは「堕落することは生じなくてその上惨たらしいということは起こらない」ということを招く fact7: 戻し易いということは起きないということは注ぎ始めることおよび聞き取り易いということが起こるを生じさせる
void -> assump1: 以下のように仮定する。「まよまわLv.55事件は起こらなくて更に遣り難いということは発生しない」ということは成り立たない; fact2 & assump1 -> int1: 物珍しいということが生じる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: まよまわLv.55事件は起きなくてまた遣り難いということは生じない; int3 & fact3 -> hypothesis;
void -> assump1: ¬(¬{AA} & ¬{AB}); fact2 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} & ¬{AB}); int3 & fact3 -> hypothesis;
ぴくぴよLv.23事件が起きる
$facts$ = fact1: 物珍しいということは発生しない fact2: もしも「まよまわLv.55事件は起きないし遣り難いということは起きない」ということは間違いであるならば物珍しいということが起こる fact3: もし仮にまよまわLv.55事件が発生しなくて更に遣り難いということは発生しないとすればぴくぴよLv.23事件は起きない fact4: もし惨たらしいということは起こらないとしたらぴくぴよLv.23事件と物珍しいということどちらもが生じる fact5: まよまわLv.55事件は生じない fact6: 聞き取り易いということは「堕落することは生じなくてその上惨たらしいということは起こらない」ということを招く fact7: 戻し易いということは起きないということは注ぎ始めることおよび聞き取り易いということが起こるを生じさせる ; $hypothesis$ = ぴくぴよLv.23事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。「まよまわLv.55事件は起こらなくて更に遣り難いということは発生しない」ということは成り立たない; fact2 & assump1 -> int1: 物珍しいということが生じる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: まよまわLv.55事件は起きなくてまた遣り難いということは生じない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: ¬(¬{AA} & ¬{AB}); fact2 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} & ¬{AB}); int3 & fact3 -> hypothesis; __DISPROVED__