付き難いということが起こる
fact1: 取っ付き易いということが発生する fact2: 艶出しすることが起きる fact3: 付き難いということは艶出しすることが原因である fact4: もしももにゃもくLv.0事件が生じるか艶出しすることは起きないとすると付き難いということは生じない fact5: 「ぴいぴちょLv.80事件が起こる」ということは成り立つ fact6: 「「もにゃもくLv.0事件が起こるし付き難いということは起こらない」ということは真実だ」ということは大人らしいということが起こるということが原因だ fact7: みにゃみいLv.47事件は発生しないということはみよみわLv.61事件に阻まれる
fact2 -> int1: 艶出しすることが起きる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
「付き難いということが起きる」ということは誤っている
$facts$ = fact1: 取っ付き易いということが発生する fact2: 艶出しすることが起きる fact3: 付き難いということは艶出しすることが原因である fact4: もしももにゃもくLv.0事件が生じるか艶出しすることは起きないとすると付き難いということは生じない fact5: 「ぴいぴちょLv.80事件が起こる」ということは成り立つ fact6: 「「もにゃもくLv.0事件が起こるし付き難いということは起こらない」ということは真実だ」ということは大人らしいということが起こるということが原因だ fact7: みにゃみいLv.47事件は発生しないということはみよみわLv.61事件に阻まれる ; $hypothesis$ = 付き難いということが起こる ; $proof$ = 
fact2 -> int1: 艶出しすることが起きる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__