「「首尾良いということは起こらないしまにょまにょLv.79事件は起きない」ということは成り立たない」ということは確かである
fact1: もねもちゃLv.44事件と私らしいということ両方が発生する fact2: まにょまにょLv.79事件は起きない fact3: ぴよぴなLv.46事件が生じる fact4: 首尾良いということは起こらないということはぴにゅぴにゃLv.18事件と下り立つことが起こるにもたらされる fact5: ぴにゅぴにゃLv.18事件が生じる fact6: ぴよぴなLv.46事件は「下り立つことは起きない」ということを阻む fact7: みにゃみにLv.15事件は生じなくてそれに人間っぽいということは起こらない fact8: 這い出すことは生じない
fact6 & fact3 -> int1: 下り立つことが起きる; int1 & fact5 -> int2: ぴにゅぴにゃLv.18事件と下り立つこと両方が発生する; int2 & fact4 -> int3: 首尾良いということは起こらない; int3 & fact2 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> int3: ¬{D}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もねもちゃLv.44事件と私らしいということ両方が発生する fact2: まにょまにょLv.79事件は起きない fact3: ぴよぴなLv.46事件が生じる fact4: 首尾良いということは起こらないということはぴにゅぴにゃLv.18事件と下り立つことが起こるにもたらされる fact5: ぴにゅぴにゃLv.18事件が生じる fact6: ぴよぴなLv.46事件は「下り立つことは起きない」ということを阻む fact7: みにゃみにLv.15事件は生じなくてそれに人間っぽいということは起こらない fact8: 這い出すことは生じない ; $hypothesis$ = 「「首尾良いということは起こらないしまにょまにょLv.79事件は起きない」ということは成り立たない」ということは確かである ; $proof$ = 
fact6 & fact3 -> int1: 下り立つことが起きる; int1 & fact5 -> int2: ぴにゅぴにゃLv.18事件と下り立つこと両方が発生する; int2 & fact4 -> int3: 首尾良いということは起こらない; int3 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> int3: ¬{D}; int3 & fact2 -> hypothesis; __DISPROVED__