もにゅもにゅLv.52事件が起きる
fact1: ぽちゅぽなLv.17事件が発生するしもねもやLv.1事件が起きる fact2: ぷなぷちょLv.49事件が起きるしさらに柔らかいということが発生する fact3: 柔らかいということが発生するとしたらもちゅもなLv.47事件は発生する fact4: もし「「柔らかいということが起こる」ということは嘘である」ということは本当ならば正規分布することおよびぷなぷちょLv.49事件どちらもが起こる fact5: もにゅもにゅLv.52事件がもちゅもなLv.47事件は契機だ fact6: ぷなぷちょLv.49事件が生じる
fact2 -> int1: 柔らかいということが生じる; int1 & fact3 -> int2: もちゅもなLv.47事件が起こる; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> hypothesis;
正規分布することが起こる
$facts$ = fact1: ぽちゅぽなLv.17事件が発生するしもねもやLv.1事件が起きる fact2: ぷなぷちょLv.49事件が起きるしさらに柔らかいということが発生する fact3: 柔らかいということが発生するとしたらもちゅもなLv.47事件は発生する fact4: もし「「柔らかいということが起こる」ということは嘘である」ということは本当ならば正規分布することおよびぷなぷちょLv.49事件どちらもが起こる fact5: もにゅもにゅLv.52事件がもちゅもなLv.47事件は契機だ fact6: ぷなぷちょLv.49事件が生じる ; $hypothesis$ = もにゅもにゅLv.52事件が起きる ; $proof$ = 
fact2 -> int1: 柔らかいということが生じる; int1 & fact3 -> int2: もちゅもなLv.47事件が起こる; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__