恨めしいということが生じる
fact1: もし仮に「末恐ろしいということとし辛いということ両方ともが起きる」ということは本当でないならぽにゃぽにLv.40事件は発生しない fact2: 仮にぷゆぷよLv.25事件は起きないならぽちゃぽゆLv.27事件およびぷちょぷねLv.9事件両方ともが起こる fact3: ぷゆぷよLv.25事件は「いがらっぽいということが起きる」ということを生じさせる fact4: 「ぽにゃぽにLv.40事件は起こらない」ということはいがらっぽいということかまたは恨めしいということかまたは両方の原因となる fact5: ぷちょぷねLv.9事件が起きる fact6: もしみにゅみにゅLv.48事件は発生しないとすると「末恐ろしいということが生じるしし辛いということが発生する」ということは成り立たない fact7: 「恨めしいということは発生しない」ということはいがらっぽいということに阻止される fact8: ぷちょぷねLv.9事件が起きるしぷゆぷよLv.25事件が生じる
fact8 -> int1: ぷゆぷよLv.25事件が生じる; int1 & fact3 -> int2: いがらっぽいということが起こる; int2 & fact7 -> hypothesis;
fact8 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact7 -> hypothesis;
ぽちゃぽゆLv.27事件が生じる
$facts$ = fact1: もし仮に「末恐ろしいということとし辛いということ両方ともが起きる」ということは本当でないならぽにゃぽにLv.40事件は発生しない fact2: 仮にぷゆぷよLv.25事件は起きないならぽちゃぽゆLv.27事件およびぷちょぷねLv.9事件両方ともが起こる fact3: ぷゆぷよLv.25事件は「いがらっぽいということが起きる」ということを生じさせる fact4: 「ぽにゃぽにLv.40事件は起こらない」ということはいがらっぽいということかまたは恨めしいということかまたは両方の原因となる fact5: ぷちょぷねLv.9事件が起きる fact6: もしみにゅみにゅLv.48事件は発生しないとすると「末恐ろしいということが生じるしし辛いということが発生する」ということは成り立たない fact7: 「恨めしいということは発生しない」ということはいがらっぽいということに阻止される fact8: ぷちょぷねLv.9事件が起きるしぷゆぷよLv.25事件が生じる ; $hypothesis$ = 恨めしいということが生じる ; $proof$ = 
fact8 -> int1: ぷゆぷよLv.25事件が生じる; int1 & fact3 -> int2: いがらっぽいということが起こる; int2 & fact7 -> hypothesis; __PROVED__
fact8 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact7 -> hypothesis; __PROVED__