ぷなぷちゃLv.69事件は発生しない
fact1: 眠たいということは「ぽのぽにゃLv.70事件は起きない」ということを回避する fact2: まわまなLv.61事件はぷなぷちゃLv.69事件を発生させる fact3: もしも「まわまなLv.61事件が起きるがもちょもなLv.91事件は生じない」ということは誤りだとするとまわまなLv.61事件は発生しない fact4: もし呼び易いということが起こるなら「ぽにゅぽいLv.53事件は起きなくてその上働き難いということは起きない」ということは成り立たない fact5: 「ぽにゅぽいLv.53事件が起こるが働き難いということは起きない」ということは本当だということはない fact6: もし仮に呼び易いということが生じるとすれば「ぽにゅぽいLv.53事件は生じないし働き難いということが起きる」ということは成り立つということはない fact7: 「ぽにゅぽいLv.53事件は起こらない一方で働き難いということが生じる」ということは成り立たない fact8: 「ぽのぽにゃLv.70事件が起きる」ということは本当だとすると「まわまなLv.61事件が発生する」ということは成り立つ fact9: 「呼び易いということが生じる」ということは成り立つ fact10: もし仮に「「ぽにゅぽいLv.53事件は起こらなくてまた働き難いということは発生しない」ということは正しい」ということは偽ならば眠たいということが生じる fact11: 眠たいということかまたは「ぷなぷちゃLv.69事件は起こらない」ということかあるいは両方ともは呼び易いということは起きないということに由来する
fact4 & fact9 -> int1: 「ぽにゅぽいLv.53事件は起きなくて働き難いということは起こらない」ということは事実と異なる; int1 & fact10 -> int2: 眠たいということが起こる; int2 & fact1 -> int3: ぽのぽにゃLv.70事件が起きる; int3 & fact8 -> int4: 「まわまなLv.61事件が起きる」ということは偽でない; int4 & fact2 -> hypothesis;
fact4 & fact9 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact10 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact8 -> int4: {D}; int4 & fact2 -> hypothesis;
ぷなぷちゃLv.69事件は発生しない
$facts$ = fact1: 眠たいということは「ぽのぽにゃLv.70事件は起きない」ということを回避する fact2: まわまなLv.61事件はぷなぷちゃLv.69事件を発生させる fact3: もしも「まわまなLv.61事件が起きるがもちょもなLv.91事件は生じない」ということは誤りだとするとまわまなLv.61事件は発生しない fact4: もし呼び易いということが起こるなら「ぽにゅぽいLv.53事件は起きなくてその上働き難いということは起きない」ということは成り立たない fact5: 「ぽにゅぽいLv.53事件が起こるが働き難いということは起きない」ということは本当だということはない fact6: もし仮に呼び易いということが生じるとすれば「ぽにゅぽいLv.53事件は生じないし働き難いということが起きる」ということは成り立つということはない fact7: 「ぽにゅぽいLv.53事件は起こらない一方で働き難いということが生じる」ということは成り立たない fact8: 「ぽのぽにゃLv.70事件が起きる」ということは本当だとすると「まわまなLv.61事件が発生する」ということは成り立つ fact9: 「呼び易いということが生じる」ということは成り立つ fact10: もし仮に「「ぽにゅぽいLv.53事件は起こらなくてまた働き難いということは発生しない」ということは正しい」ということは偽ならば眠たいということが生じる fact11: 眠たいということかまたは「ぷなぷちゃLv.69事件は起こらない」ということかあるいは両方ともは呼び易いということは起きないということに由来する ; $hypothesis$ = ぷなぷちゃLv.69事件は発生しない ; $proof$ = 
fact4 & fact9 -> int1: 「ぽにゅぽいLv.53事件は起きなくて働き難いということは起こらない」ということは事実と異なる; int1 & fact10 -> int2: 眠たいということが起こる; int2 & fact1 -> int3: ぽのぽにゃLv.70事件が起きる; int3 & fact8 -> int4: 「まわまなLv.61事件が起きる」ということは偽でない; int4 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact9 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact10 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact8 -> int4: {D}; int4 & fact2 -> hypothesis; __DISPROVED__