黒っぽいということは起こらない
fact1: 「黒っぽいということは起こらない」ということは重苦しいということに阻まれる fact2: 届き易いということが生じる fact3: もし仮に「ぷにゅぷにLv.92事件が発生しなくてかつぽわぽえLv.60事件は生じない」ということは偽であるとしたら重苦しいということが発生する fact4: 届き易いということが発生するとすると「ぷにゅぷにLv.92事件が生じないししかもぽわぽえLv.60事件は起こらない」ということは誤りだ fact5: 「重苦しいということではなく黒っぽいということが起こる」ということは「みわみちゃLv.87事件は起こらない」ということがきっかけである
fact4 & fact2 -> int1: 「ぷにゅぷにLv.92事件が発生しないしそれにぽわぽえLv.60事件は発生しない」ということは成り立たない; int1 & fact3 -> int2: 重苦しいということが発生する; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: {B}; int2 & fact1 -> hypothesis;
上がり難いということが生じる
$facts$ = fact1: 「黒っぽいということは起こらない」ということは重苦しいということに阻まれる fact2: 届き易いということが生じる fact3: もし仮に「ぷにゅぷにLv.92事件が発生しなくてかつぽわぽえLv.60事件は生じない」ということは偽であるとしたら重苦しいということが発生する fact4: 届き易いということが発生するとすると「ぷにゅぷにLv.92事件が生じないししかもぽわぽえLv.60事件は起こらない」ということは誤りだ fact5: 「重苦しいということではなく黒っぽいということが起こる」ということは「みわみちゃLv.87事件は起こらない」ということがきっかけである ; $hypothesis$ = 黒っぽいということは起こらない ; $proof$ = 
fact4 & fact2 -> int1: 「ぷにゅぷにLv.92事件が発生しないしそれにぽわぽえLv.60事件は発生しない」ということは成り立たない; int1 & fact3 -> int2: 重苦しいということが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: {B}; int2 & fact1 -> hypothesis; __DISPROVED__