安しということが生じる
fact1: ぷちゃぷわLv.20事件が生じるとすると「ものもわLv.32事件が生じるしまにゃまわLv.97事件は起こらない」ということは成り立たない fact2: もちゅもちゅLv.10事件はぽにょぽちゅLv.82事件をもたらす fact3: もちゅもちゅLv.10事件が起こるししかもみちゅみちゅLv.23事件が発生する fact4: もちゅもちゅLv.10事件およびもねもにょLv.88事件が起きるはみちゅみちゅLv.23事件は起きないということに由来する fact5: 安しということは起こらないということはぽにょぽちゅLv.82事件に防がれる fact6: 「ものもわLv.32事件が起こるがしかしまにゃまわLv.97事件は起きない」ということは成り立たないなら安しということは起こらない
fact3 -> int1: もちゅもちゅLv.10事件が起こる; int1 & fact2 -> int2: ぽにょぽちゅLv.82事件が起きる; int2 & fact5 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis;
「もねもにょLv.88事件が発生する」ということは確かだ
$facts$ = fact1: ぷちゃぷわLv.20事件が生じるとすると「ものもわLv.32事件が生じるしまにゃまわLv.97事件は起こらない」ということは成り立たない fact2: もちゅもちゅLv.10事件はぽにょぽちゅLv.82事件をもたらす fact3: もちゅもちゅLv.10事件が起こるししかもみちゅみちゅLv.23事件が発生する fact4: もちゅもちゅLv.10事件およびもねもにょLv.88事件が起きるはみちゅみちゅLv.23事件は起きないということに由来する fact5: 安しということは起こらないということはぽにょぽちゅLv.82事件に防がれる fact6: 「ものもわLv.32事件が起こるがしかしまにゃまわLv.97事件は起きない」ということは成り立たないなら安しということは起こらない ; $hypothesis$ = 安しということが生じる ; $proof$ = 
fact3 -> int1: もちゅもちゅLv.10事件が起こる; int1 & fact2 -> int2: ぽにょぽちゅLv.82事件が起きる; int2 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__