まゆまにゅLv.53事件が発生する
fact1: 仮にもなもにゅLv.94事件が起こるなら「「みにょみにLv.36事件は発生しないしそれに薄ら寒いということは発生しない」ということは成り立たない」ということは成り立つ fact2: もなもにゅLv.94事件はみくみにゃLv.54事件に起因する fact3: ものもなLv.52事件が起こる fact4: 「もし薄ら寒いということは発生しないとしたら「もなもにゅLv.94事件は発生しないけどみにょみにLv.36事件が生じる」ということは事実と異なる」ということは成り立つ fact5: みくみにゃLv.54事件はものもなLv.52事件に由来する fact6: 「素焼きすることが生じる」ということは真実である fact7: 仮に「涙脆いということは起きないししかも宜しいということは起こらない」ということは成り立たないとすれば薄ら寒いということは起きない fact8: もし仮に「みにょみにLv.36事件は起こらなくてかつ薄ら寒いということは起こらない」ということは成り立たないとしたら「まゆまにゅLv.53事件は生じない」ということは成り立つ
fact5 & fact3 -> int1: 「みくみにゃLv.54事件が起こる」ということは成り立つ; int1 & fact2 -> int2: もなもにゅLv.94事件が生じる; int2 & fact1 -> int3: 「みにょみにLv.36事件は生じないしかつ薄ら寒いということは発生しない」ということは成り立たない; int3 & fact8 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: ¬(¬{D} & ¬{E}); int3 & fact8 -> hypothesis;
まゆまにゅLv.53事件が発生する
$facts$ = fact1: 仮にもなもにゅLv.94事件が起こるなら「「みにょみにLv.36事件は発生しないしそれに薄ら寒いということは発生しない」ということは成り立たない」ということは成り立つ fact2: もなもにゅLv.94事件はみくみにゃLv.54事件に起因する fact3: ものもなLv.52事件が起こる fact4: 「もし薄ら寒いということは発生しないとしたら「もなもにゅLv.94事件は発生しないけどみにょみにLv.36事件が生じる」ということは事実と異なる」ということは成り立つ fact5: みくみにゃLv.54事件はものもなLv.52事件に由来する fact6: 「素焼きすることが生じる」ということは真実である fact7: 仮に「涙脆いということは起きないししかも宜しいということは起こらない」ということは成り立たないとすれば薄ら寒いということは起きない fact8: もし仮に「みにょみにLv.36事件は起こらなくてかつ薄ら寒いということは起こらない」ということは成り立たないとしたら「まゆまにゅLv.53事件は生じない」ということは成り立つ ; $hypothesis$ = まゆまにゅLv.53事件が発生する ; $proof$ = 
fact5 & fact3 -> int1: 「みくみにゃLv.54事件が起こる」ということは成り立つ; int1 & fact2 -> int2: もなもにゅLv.94事件が生じる; int2 & fact1 -> int3: 「みにょみにLv.36事件は生じないしかつ薄ら寒いということは発生しない」ということは成り立たない; int3 & fact8 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: ¬(¬{D} & ¬{E}); int3 & fact8 -> hypothesis; __DISPROVED__