発案することが発生する
fact1: 発案することが切り離し難いということが起きるということは原因だ fact2: 「もしも「ぽよぽにょLv.0事件が生じる」ということは成り立つとしたら「「切り離し難いということが生じるけどみやみいLv.75事件は起こらない」ということは確かだ」ということは誤りだ」ということは成り立つ fact3: ぴいぴちょLv.4事件が生じる fact4: もし「切り離し難いということが起こるしみやみいLv.75事件は生じない」ということは事実であるということはないならば発案することは発生しない fact5: 切り離し難いということが発生する fact6: 「ぽよぽにょLv.0事件が起きるしまたぷちゅぷちゅLv.4事件が生じる」ということはみくみわLv.55事件は発生しないということにより生じる
fact5 -> int1: 切り離し難いということが発生する; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> hypothesis;
発案することは発生しない
$facts$ = fact1: 発案することが切り離し難いということが起きるということは原因だ fact2: 「もしも「ぽよぽにょLv.0事件が生じる」ということは成り立つとしたら「「切り離し難いということが生じるけどみやみいLv.75事件は起こらない」ということは確かだ」ということは誤りだ」ということは成り立つ fact3: ぴいぴちょLv.4事件が生じる fact4: もし「切り離し難いということが起こるしみやみいLv.75事件は生じない」ということは事実であるということはないならば発案することは発生しない fact5: 切り離し難いということが発生する fact6: 「ぽよぽにょLv.0事件が起きるしまたぷちゅぷちゅLv.4事件が生じる」ということはみくみわLv.55事件は発生しないということにより生じる ; $hypothesis$ = 発案することが発生する ; $proof$ = 
fact5 -> int1: 切り離し難いということが発生する; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__