みちょみえLv.4事件と若々しいということ両方が発生する
fact1: 若々しいということが発生する fact2: みちょみえLv.4事件が生じる fact3: 「若者らしいということが発生する」ということはぷなぷにゅLv.7事件が契機だ fact4: 若者らしいということが発生するとすると「有り過ぎることは生じないしぽちょぽねLv.59事件は発生しない」ということは正しい fact5: もし仮にぽちょぽねLv.59事件が起こらないとすればうざいということは発生するしまた若々しいということが起きる
fact2 -> int1: みちょみえLv.4事件が生じる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
うざいということが発生するし柔いということは発生する
$facts$ = fact1: 若々しいということが発生する fact2: みちょみえLv.4事件が生じる fact3: 「若者らしいということが発生する」ということはぷなぷにゅLv.7事件が契機だ fact4: 若者らしいということが発生するとすると「有り過ぎることは生じないしぽちょぽねLv.59事件は発生しない」ということは正しい fact5: もし仮にぽちょぽねLv.59事件が起こらないとすればうざいということは発生するしまた若々しいということが起きる ; $hypothesis$ = みちょみえLv.4事件と若々しいということ両方が発生する ; $proof$ = 
fact2 -> int1: みちょみえLv.4事件が生じる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__