みのみにゃLv.18事件は起きなくて更に喜ばしいということは起きない
fact1: 「歌舞伎っぽいということは発生しないがまにょまなLv.1事件が生じる」ということは成り立たない fact2: もし「歌舞伎っぽいということは起こらなくてかつまにょまなLv.1事件は生じない」ということは成り立たないならばまにょまなLv.1事件が生じる fact3: みのみにゃLv.18事件は「みねみいLv.49事件が発生するしまにょまなLv.1事件が起こる」ということに阻止される fact4: みねみいLv.49事件が生じる fact5: 「歌舞伎っぽいということは起きないしまにょまなLv.1事件は発生しない」ということは偽だ fact6: みねみいLv.49事件は生じないならば「みのみにゃLv.18事件は生じないしさらに喜ばしいということは生じない」ということは間違いである fact7: もしぷゆぷえLv.52事件が起こらないとしたらぷゆぷえLv.52事件が生じないしその上ぴくぴくLv.69事件は生じない fact8: もしもみのみにゃLv.18事件が起こらないならみのみにゃLv.18事件は起こらなくて喜ばしいということは発生しない
fact5 & fact2 -> int1: まにょまなLv.1事件が起こる; fact4 & int1 -> int2: みねみいLv.49事件が生じるししかもまにょまなLv.1事件が起きる; int2 & fact3 -> int3: みのみにゃLv.18事件は起きない; int3 & fact8 -> hypothesis;
fact5 & fact2 -> int1: {B}; fact4 & int1 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact8 -> hypothesis;
「みのみにゃLv.18事件は生じなくてかつ喜ばしいということは生じない」ということは本当であるということはない
$facts$ = fact1: 「歌舞伎っぽいということは発生しないがまにょまなLv.1事件が生じる」ということは成り立たない fact2: もし「歌舞伎っぽいということは起こらなくてかつまにょまなLv.1事件は生じない」ということは成り立たないならばまにょまなLv.1事件が生じる fact3: みのみにゃLv.18事件は「みねみいLv.49事件が発生するしまにょまなLv.1事件が起こる」ということに阻止される fact4: みねみいLv.49事件が生じる fact5: 「歌舞伎っぽいということは起きないしまにょまなLv.1事件は発生しない」ということは偽だ fact6: みねみいLv.49事件は生じないならば「みのみにゃLv.18事件は生じないしさらに喜ばしいということは生じない」ということは間違いである fact7: もしぷゆぷえLv.52事件が起こらないとしたらぷゆぷえLv.52事件が生じないしその上ぴくぴくLv.69事件は生じない fact8: もしもみのみにゃLv.18事件が起こらないならみのみにゃLv.18事件は起こらなくて喜ばしいということは発生しない ; $hypothesis$ = みのみにゃLv.18事件は起きなくて更に喜ばしいということは起きない ; $proof$ = 
fact5 & fact2 -> int1: まにょまなLv.1事件が起こる; fact4 & int1 -> int2: みねみいLv.49事件が生じるししかもまにょまなLv.1事件が起きる; int2 & fact3 -> int3: みのみにゃLv.18事件は起きない; int3 & fact8 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: {B}; fact4 & int1 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact8 -> hypothesis; __PROVED__