ぷくぷねLv.78事件が起こるし骨っぽいということが起きる
fact1: もにょもにょLv.80事件は起こらないということはもねもくLv.98事件とぽくぽちゅLv.26事件が生じるの原因となる fact2: もしももにゃものLv.50事件は発生しないとすれば「ぷくぷねLv.78事件が起こるし骨っぽいということが発生する」ということは成り立たない fact3: ぷくぷねLv.78事件が起きる fact4: もねもくLv.98事件は「もにゃものLv.50事件ではなくぷよぷにょLv.18事件が起こる」ということに繋がる fact5: もにょもにょLv.80事件は「ぴねぴちょLv.88事件は生じない」ということに防がれる fact6: 骨っぽいということが起きる
fact3 -> int1: ぷくぷねLv.78事件が起きる; int1 & fact6 -> hypothesis;
fact3 -> int1: {A}; int1 & fact6 -> hypothesis;
「ぷくぷねLv.78事件が生じるしまた骨っぽいということが発生する」ということは誤っている
$facts$ = fact1: もにょもにょLv.80事件は起こらないということはもねもくLv.98事件とぽくぽちゅLv.26事件が生じるの原因となる fact2: もしももにゃものLv.50事件は発生しないとすれば「ぷくぷねLv.78事件が起こるし骨っぽいということが発生する」ということは成り立たない fact3: ぷくぷねLv.78事件が起きる fact4: もねもくLv.98事件は「もにゃものLv.50事件ではなくぷよぷにょLv.18事件が起こる」ということに繋がる fact5: もにょもにょLv.80事件は「ぴねぴちょLv.88事件は生じない」ということに防がれる fact6: 骨っぽいということが起きる ; $hypothesis$ = ぷくぷねLv.78事件が起こるし骨っぽいということが起きる ; $proof$ = 
fact3 -> int1: ぷくぷねLv.78事件が起きる; int1 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact6 -> hypothesis; __PROVED__