苛立たしいということが起こる
fact1: 伸ばし易いということおよびぴちゃぴわLv.69事件が起きる fact2: ぴちゃぴわLv.69事件が発生する fact3: 仮に出来難いということが生じるなら苛立たしいということが起こる fact4: 「苛立たしいということは発生しないけれど伸ばし易いということが発生する」ということはぴちゃぴわLv.69事件は起きないということに由来する fact5: 伸ばし易いということは出来難いということは生じないということを回避する fact6: もし仮に混同し易いということが発生すれば「「言い知れることが生じるけど出来難いということは起こらない」ということは成り立つ」ということは誤りだ
fact1 -> int1: 伸ばし易いということが発生する; int1 & fact5 -> int2: 出来難いということが起こる; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact3 -> hypothesis;
苛立たしいということは起きない
$facts$ = fact1: 伸ばし易いということおよびぴちゃぴわLv.69事件が起きる fact2: ぴちゃぴわLv.69事件が発生する fact3: 仮に出来難いということが生じるなら苛立たしいということが起こる fact4: 「苛立たしいということは発生しないけれど伸ばし易いということが発生する」ということはぴちゃぴわLv.69事件は起きないということに由来する fact5: 伸ばし易いということは出来難いということは生じないということを回避する fact6: もし仮に混同し易いということが発生すれば「「言い知れることが生じるけど出来難いということは起こらない」ということは成り立つ」ということは誤りだ ; $hypothesis$ = 苛立たしいということが起こる ; $proof$ = 
fact1 -> int1: 伸ばし易いということが発生する; int1 & fact5 -> int2: 出来難いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__