「ぴにゃぴえLv.8事件は起きなくてみなみくLv.49事件は生じない」ということは誤りだ
fact1: 「味気ないということが起こる一方で幼いということは起こらない」ということは成り立たない fact2: 仮に「味気ないということが発生するがしかし幼いということは起こらない」ということは間違っていれば「ぴにゃぴえLv.8事件は起こらない」ということは成り立つ fact3: 「みなみくLv.49事件は起きない」ということは事実である fact4: まのまのLv.87事件が発生するとすると「ぴにゃぴえLv.8事件が生じないし加えてみなみくLv.49事件は生じない」ということは成り立たない fact5: もし仮にみなみくLv.49事件が起きるとすると「転載することが生じるけれどぴにゅぴちゃLv.40事件は生じない」ということは偽だ
fact2 & fact1 -> int1: ぴにゃぴえLv.8事件は起きない; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}; int1 & fact3 -> hypothesis;
「転載することが起こるしぴにゅぴちゃLv.40事件は発生しない」ということは成り立たない
$facts$ = fact1: 「味気ないということが起こる一方で幼いということは起こらない」ということは成り立たない fact2: 仮に「味気ないということが発生するがしかし幼いということは起こらない」ということは間違っていれば「ぴにゃぴえLv.8事件は起こらない」ということは成り立つ fact3: 「みなみくLv.49事件は起きない」ということは事実である fact4: まのまのLv.87事件が発生するとすると「ぴにゃぴえLv.8事件が生じないし加えてみなみくLv.49事件は生じない」ということは成り立たない fact5: もし仮にみなみくLv.49事件が起きるとすると「転載することが生じるけれどぴにゅぴちゃLv.40事件は生じない」ということは偽だ ; $hypothesis$ = 「ぴにゃぴえLv.8事件は起きなくてみなみくLv.49事件は生じない」ということは誤りだ ; $proof$ = 
fact2 & fact1 -> int1: ぴにゃぴえLv.8事件は起きない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ¬{B}; int1 & fact3 -> hypothesis; __DISPROVED__