ものもえLv.49事件が起きる
fact1: ものもえLv.49事件はぷにぷよLv.27事件に引き起こされる fact2: 成立し難いということはぷにぷよLv.27事件は起きないということに阻止される fact3: ぷにぷよLv.27事件は生じないということは「成立し難いということは生じなくて比較し難いということは起きない」ということのきっかけとなる fact4: 「成立し難いということは発生しないし更に比較し難いということは起こらない」ということは偽である fact5: 押し付けがましいということは発生しないということは「ぷにぷよLv.27事件か寒々しいということが発生する」ということをもたらす fact6: もし押し付けがましいということは起こらないとすると「ものもえLv.49事件が生じるし寒々しいということが起きる」ということは偽だ fact7: もし仮に「ものもえLv.49事件および寒々しいということ両方ともが起きる」ということは誤っているとするとものもえLv.49事件は起きない
void -> assump1: 以下のように仮定する。ぷにぷよLv.27事件は起こらない; fact3 & assump1 -> int1: 成立し難いということは起こらなくてかつ比較し難いということは生じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷにぷよLv.27事件が生じる; int3 & fact1 -> hypothesis;
void -> assump1: ¬{A}; fact3 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact1 -> hypothesis;
切り抜くことが起きる
$facts$ = fact1: ものもえLv.49事件はぷにぷよLv.27事件に引き起こされる fact2: 成立し難いということはぷにぷよLv.27事件は起きないということに阻止される fact3: ぷにぷよLv.27事件は生じないということは「成立し難いということは生じなくて比較し難いということは起きない」ということのきっかけとなる fact4: 「成立し難いということは発生しないし更に比較し難いということは起こらない」ということは偽である fact5: 押し付けがましいということは発生しないということは「ぷにぷよLv.27事件か寒々しいということが発生する」ということをもたらす fact6: もし押し付けがましいということは起こらないとすると「ものもえLv.49事件が生じるし寒々しいということが起きる」ということは偽だ fact7: もし仮に「ものもえLv.49事件および寒々しいということ両方ともが起きる」ということは誤っているとするとものもえLv.49事件は起きない ; $hypothesis$ = ものもえLv.49事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷにぷよLv.27事件は起こらない; fact3 & assump1 -> int1: 成立し難いということは起こらなくてかつ比較し難いということは生じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷにぷよLv.27事件が生じる; int3 & fact1 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact3 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact1 -> hypothesis; __PROVED__