ぽよぽにLv.6事件は発生しない
fact1: もし地中深いということは生じないとすると「もちゅもやLv.18事件およびもどかしいということどちらもが発生する」ということは成り立つ fact2: もしも「人間っぽいということおよび残り易いということどちらもが起こる」ということは成り立たないならば地中深いということは生じない fact3: まにまにゃLv.56事件かあるいはまやまくLv.61事件が起きるとしたらもちゅもやLv.18事件は起きない fact4: もちゅもやLv.18事件が起こらないということはぽよぽにLv.6事件は起きないということを阻止する fact5: 「もちゅもやLv.18事件は生じない」ということはまやまくLv.61事件にもたらされる fact6: 「ぴよぴちょLv.69事件が生じる」ということは正しい fact7: 「まにまにゃLv.56事件は起きない」ということは「ぽよぽにLv.6事件は発生しない」ということのきっかけとなる fact8: まにまにゃLv.56事件が起きる
fact8 -> int1: まにまにゃLv.56事件かまやまくLv.61事件かもしくはどちらもが生じる; int1 & fact3 -> int2: もちゅもやLv.18事件は発生しない; int2 & fact4 -> hypothesis;
fact8 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
ぽよぽにLv.6事件は発生しない
$facts$ = fact1: もし地中深いということは生じないとすると「もちゅもやLv.18事件およびもどかしいということどちらもが発生する」ということは成り立つ fact2: もしも「人間っぽいということおよび残り易いということどちらもが起こる」ということは成り立たないならば地中深いということは生じない fact3: まにまにゃLv.56事件かあるいはまやまくLv.61事件が起きるとしたらもちゅもやLv.18事件は起きない fact4: もちゅもやLv.18事件が起こらないということはぽよぽにLv.6事件は起きないということを阻止する fact5: 「もちゅもやLv.18事件は生じない」ということはまやまくLv.61事件にもたらされる fact6: 「ぴよぴちょLv.69事件が生じる」ということは正しい fact7: 「まにまにゃLv.56事件は起きない」ということは「ぽよぽにLv.6事件は発生しない」ということのきっかけとなる fact8: まにまにゃLv.56事件が起きる ; $hypothesis$ = ぽよぽにLv.6事件は発生しない ; $proof$ = 
fact8 -> int1: まにまにゃLv.56事件かまやまくLv.61事件かもしくはどちらもが生じる; int1 & fact3 -> int2: もちゅもやLv.18事件は発生しない; int2 & fact4 -> hypothesis; __DISPROVED__
fact8 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __DISPROVED__