誇りっぽいということが生じるしその上遅れ易いということが起きる
fact1: 「ぴやぴねLv.94事件が起きるかまたは動かし難いということは生じない」ということはぴやぴねLv.94事件は発生しないということを阻止する fact2: 遅れ易いということが発生するしその上動かし難いということは発生する fact3: アクセスし易いということが起こる fact4: 仮に動かし難いということは発生しないならば「誇りっぽいということが生じるしその上遅れ易いということが発生する」ということは成り立たない fact5: 動かし難いということが生じる fact6: 誇りっぽいということが生じる
fact2 -> int1: 遅れ易いということが起きる; int1 & fact6 -> hypothesis;
fact2 -> int1: {A}; int1 & fact6 -> hypothesis;
「誇りっぽいということと遅れ易いということ両方が生じる」ということは嘘だ
$facts$ = fact1: 「ぴやぴねLv.94事件が起きるかまたは動かし難いということは生じない」ということはぴやぴねLv.94事件は発生しないということを阻止する fact2: 遅れ易いということが発生するしその上動かし難いということは発生する fact3: アクセスし易いということが起こる fact4: 仮に動かし難いということは発生しないならば「誇りっぽいということが生じるしその上遅れ易いということが発生する」ということは成り立たない fact5: 動かし難いということが生じる fact6: 誇りっぽいということが生じる ; $hypothesis$ = 誇りっぽいということが生じるしその上遅れ易いということが起きる ; $proof$ = 
fact2 -> int1: 遅れ易いということが起きる; int1 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact6 -> hypothesis; __PROVED__