ぎごちないということが起きる
fact1: 打ち難いということは「掛け難いということは起こらないしかつぎごちないということは起こらない」ということに帰結する fact2: 掛け難いということが発生する fact3: ぎごちないということは掛け難いということに由来する fact4: 「完敗することが生じる」ということは本当である fact5: もし仮に「もくもくLv.27事件かあるいはもえもゆLv.78事件かまたは両方ともが起こる」ということは間違っているとすれば打ち難いということは起きない
fact2 -> int1: 掛け難いということが発生する; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
ぎごちないということは起きない
$facts$ = fact1: 打ち難いということは「掛け難いということは起こらないしかつぎごちないということは起こらない」ということに帰結する fact2: 掛け難いということが発生する fact3: ぎごちないということは掛け難いということに由来する fact4: 「完敗することが生じる」ということは本当である fact5: もし仮に「もくもくLv.27事件かあるいはもえもゆLv.78事件かまたは両方ともが起こる」ということは間違っているとすれば打ち難いということは起きない ; $hypothesis$ = ぎごちないということが起きる ; $proof$ = 
fact2 -> int1: 掛け難いということが発生する; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__