看過し難いということが起こる
fact1: こよないということが発生する fact2: 「ぴえぴゆLv.39事件が発生する」ということは成り立つ fact3: 大燥ぎすることはぷちゃぷよLv.62事件が起きるということに起因する fact4: ぴえぴゆLv.39事件は「看過し難いということは起こらない」ということを防ぐ fact5: 「成し難いということは起きなくてさらに利用し辛いということは起こらない」ということは間違っていれば看過し難いということは起こらない fact6: もし仮にすんごいということが発生すれば「成し難いということは生じないしさらに利用し辛いということは生じない」ということは誤りである
fact2 -> int1: 「ぴえぴゆLv.39事件が発生する」ということは成り立つ; int1 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact4 -> hypothesis;
ぴよぴちゃLv.56事件が生じる
$facts$ = fact1: こよないということが発生する fact2: 「ぴえぴゆLv.39事件が発生する」ということは成り立つ fact3: 大燥ぎすることはぷちゃぷよLv.62事件が起きるということに起因する fact4: ぴえぴゆLv.39事件は「看過し難いということは起こらない」ということを防ぐ fact5: 「成し難いということは起きなくてさらに利用し辛いということは起こらない」ということは間違っていれば看過し難いということは起こらない fact6: もし仮にすんごいということが発生すれば「成し難いということは生じないしさらに利用し辛いということは生じない」ということは誤りである ; $hypothesis$ = 看過し難いということが起こる ; $proof$ = 
fact2 -> int1: 「ぴえぴゆLv.39事件が発生する」ということは成り立つ; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__