ぽちゃぽにょLv.37事件は生じない
fact1: もえもにゃLv.31事件は目的無しということに由来する fact2: 泣き為さることがぽちゃぽにょLv.37事件は起こらないということを防ぐ fact3: もし地下深いということは発生しないならば「泣き為さることは生じなくてもえもにゃLv.31事件が起きる」ということは誤りである fact4: もし冷め易いということが起こるとしたら「届き易いということは起きないかあるいは活動し易いということが起きる」ということは事実と異なる fact5: もし届き易いということではなくて活動し易いということが生じるとすると地下深いということは起こらない fact6: もえもにゃLv.31事件は泣き為さることに繋がる fact7: 仮に地下深いということは発生しないとすれば泣き為さることが生じなくてそれにぽちゃぽにょLv.37事件は起きない fact8: 「目的無しということが生じる」ということは確かである fact9: もし「届き易いということは発生しないかあるいは活動し易いということが起こるか両方ともである」ということは嘘であるとすると地下深いということは生じない
fact1 & fact8 -> int1: もえもにゃLv.31事件が起きる; int1 & fact6 -> int2: 「泣き為さることが起こる」ということは正しい; int2 & fact2 -> hypothesis;
fact1 & fact8 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact2 -> hypothesis;
ぽちゃぽにょLv.37事件は生じない
$facts$ = fact1: もえもにゃLv.31事件は目的無しということに由来する fact2: 泣き為さることがぽちゃぽにょLv.37事件は起こらないということを防ぐ fact3: もし地下深いということは発生しないならば「泣き為さることは生じなくてもえもにゃLv.31事件が起きる」ということは誤りである fact4: もし冷め易いということが起こるとしたら「届き易いということは起きないかあるいは活動し易いということが起きる」ということは事実と異なる fact5: もし届き易いということではなくて活動し易いということが生じるとすると地下深いということは起こらない fact6: もえもにゃLv.31事件は泣き為さることに繋がる fact7: 仮に地下深いということは発生しないとすれば泣き為さることが生じなくてそれにぽちゃぽにょLv.37事件は起きない fact8: 「目的無しということが生じる」ということは確かである fact9: もし「届き易いということは発生しないかあるいは活動し易いということが起こるか両方ともである」ということは嘘であるとすると地下深いということは生じない ; $hypothesis$ = ぽちゃぽにょLv.37事件は生じない ; $proof$ = 
fact1 & fact8 -> int1: もえもにゃLv.31事件が起きる; int1 & fact6 -> int2: 「泣き為さることが起こる」ということは正しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact8 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__