ぽにぽえLv.48事件は起きない
fact1: 「移入することは発生しない」ということは本当である fact2: 「ぴちゃぴにゅLv.29事件は起こらない」ということは議することおよびぽにぽちゃLv.26事件が発生するにより生じる fact3: 「少なしということは発生しないし引き出し易いということは起こらない」ということは「実現化することが起きる」ということが契機だ fact4: 引き出し易いということが発生する fact5: もし仮に引き出し易いということが起きるとしたらぽにぽえLv.48事件が起きないし移入することは起こらない fact6: ぴちゃぴにゅLv.29事件が生じないとすると実現化することが生じるし更に連想し易いということは発生する fact7: 議することが生じる
fact5 & fact4 -> int1: ぽにぽえLv.48事件が起きなくて更に移入することは発生しない; int1 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis;
少なしということは発生しない
$facts$ = fact1: 「移入することは発生しない」ということは本当である fact2: 「ぴちゃぴにゅLv.29事件は起こらない」ということは議することおよびぽにぽちゃLv.26事件が発生するにより生じる fact3: 「少なしということは発生しないし引き出し易いということは起こらない」ということは「実現化することが起きる」ということが契機だ fact4: 引き出し易いということが発生する fact5: もし仮に引き出し易いということが起きるとしたらぽにぽえLv.48事件が起きないし移入することは起こらない fact6: ぴちゃぴにゅLv.29事件が生じないとすると実現化することが生じるし更に連想し易いということは発生する fact7: 議することが生じる ; $hypothesis$ = ぽにぽえLv.48事件は起きない ; $proof$ = 
fact5 & fact4 -> int1: ぽにぽえLv.48事件が起きなくて更に移入することは発生しない; int1 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis; __PROVED__