表示し切れることは生じない
fact1: 表示し切れることおよびぴにぴのLv.37事件が起こるは「伝え易いということは発生しない」ということが契機である fact2: 伝え易いということが生じる fact3: もし仮に移行し易いということは生じないか伝え易いということは起こらないかあるいは両方ともであるとしたら伝え易いということは起きない fact4: 「救い難いということが起こる」ということは成り立つ fact5: もし仮に表示し切れることが起こらないしさらにもやもにゃLv.35事件は生じないとしたら伝え易いということは発生しない fact6: 仮に伝え易いということは起きないとするとぴにぴのLv.37事件が起こるし加えて恨めしいということが生じる fact7: ぴにぴのLv.37事件が生じる fact8: 表示し切れることは起きないということは「ぴにぴのLv.37事件と伝え易いということが発生する」ということに誘発される
fact7 & fact2 -> int1: ぴにぴのLv.37事件および伝え易いということが起きる; int1 & fact8 -> hypothesis;
fact7 & fact2 -> int1: ({A} & {B}); int1 & fact8 -> hypothesis;
表示し切れることが起こる
$facts$ = fact1: 表示し切れることおよびぴにぴのLv.37事件が起こるは「伝え易いということは発生しない」ということが契機である fact2: 伝え易いということが生じる fact3: もし仮に移行し易いということは生じないか伝え易いということは起こらないかあるいは両方ともであるとしたら伝え易いということは起きない fact4: 「救い難いということが起こる」ということは成り立つ fact5: もし仮に表示し切れることが起こらないしさらにもやもにゃLv.35事件は生じないとしたら伝え易いということは発生しない fact6: 仮に伝え易いということは起きないとするとぴにぴのLv.37事件が起こるし加えて恨めしいということが生じる fact7: ぴにぴのLv.37事件が生じる fact8: 表示し切れることは起きないということは「ぴにぴのLv.37事件と伝え易いということが発生する」ということに誘発される ; $hypothesis$ = 表示し切れることは生じない ; $proof$ = 
fact7 & fact2 -> int1: ぴにぴのLv.37事件および伝え易いということが起きる; int1 & fact8 -> hypothesis; __PROVED__
fact7 & fact2 -> int1: ({A} & {B}); int1 & fact8 -> hypothesis; __PROVED__