愛らしいということは起こらない
fact1: 愛らしいということは「ぷちゃぷのLv.37事件が発生するしまた人懐っこいということは発生する」ということに阻まれる fact2: 創出することは生じないということは「愛らしいということおよびぷちゃぷのLv.37事件どちらもが生じる」ということを発生させる fact3: 人懐っこいということが起きる fact4: ぷちゃぷのLv.37事件および創出すること両方ともが起こる fact5: 「創出することではなくて人懐っこいということが発生する」ということは「入手し易いということは発生しない」ということがきっかけだ fact6: 私らしいということが起こる
fact4 -> int1: ぷちゃぷのLv.37事件が生じる; int1 & fact3 -> int2: ぷちゃぷのLv.37事件および人懐っこいということが発生する; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
愛らしいということが起きる
$facts$ = fact1: 愛らしいということは「ぷちゃぷのLv.37事件が発生するしまた人懐っこいということは発生する」ということに阻まれる fact2: 創出することは生じないということは「愛らしいということおよびぷちゃぷのLv.37事件どちらもが生じる」ということを発生させる fact3: 人懐っこいということが起きる fact4: ぷちゃぷのLv.37事件および創出すること両方ともが起こる fact5: 「創出することではなくて人懐っこいということが発生する」ということは「入手し易いということは発生しない」ということがきっかけだ fact6: 私らしいということが起こる ; $hypothesis$ = 愛らしいということは起こらない ; $proof$ = 
fact4 -> int1: ぷちゃぷのLv.37事件が生じる; int1 & fact3 -> int2: ぷちゃぷのLv.37事件および人懐っこいということが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__