悔やみ切れることは生じない
fact1: 「悔やみ切れることは生じない」ということは「つれないということおよびぷなぷのLv.12事件どちらもが生じる」ということが契機だ fact2: 仮に「つれないということは起こらない」ということは本当ならば「ぷなぷのLv.12事件が起きないししかもぴなぴいLv.2事件は生じない」ということは間違っている fact3: つれないということが起こる fact4: ぷなぷのLv.12事件は生じないということはぴなぴいLv.2事件に阻まれる fact5: 「退色することは生じない」ということは悩ましいということに阻まれる fact6: 仮に「ぷなぷのLv.12事件が発生しないしぴなぴいLv.2事件は起きない」ということは成り立たないとすると疎いということは起こらない fact7: ぴなぴいLv.2事件が生じる fact8: 「悔やみ切れることが生じない一方で連想し易いということは発生する」ということはつれないということは生じないということを招く fact9: 着せがましいということとぷやぷくLv.37事件が生じるは恙無いということを防ぐ
fact4 & fact7 -> int1: ぷなぷのLv.12事件が起きる; int1 & fact3 -> int2: 「つれないということが起きるしその上ぷなぷのLv.12事件が生じる」ということは確かである; int2 & fact1 -> hypothesis;
fact4 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis;
疎いということは起こらない
$facts$ = fact1: 「悔やみ切れることは生じない」ということは「つれないということおよびぷなぷのLv.12事件どちらもが生じる」ということが契機だ fact2: 仮に「つれないということは起こらない」ということは本当ならば「ぷなぷのLv.12事件が起きないししかもぴなぴいLv.2事件は生じない」ということは間違っている fact3: つれないということが起こる fact4: ぷなぷのLv.12事件は生じないということはぴなぴいLv.2事件に阻まれる fact5: 「退色することは生じない」ということは悩ましいということに阻まれる fact6: 仮に「ぷなぷのLv.12事件が発生しないしぴなぴいLv.2事件は起きない」ということは成り立たないとすると疎いということは起こらない fact7: ぴなぴいLv.2事件が生じる fact8: 「悔やみ切れることが生じない一方で連想し易いということは発生する」ということはつれないということは生じないということを招く fact9: 着せがましいということとぷやぷくLv.37事件が生じるは恙無いということを防ぐ ; $hypothesis$ = 悔やみ切れることは生じない ; $proof$ = 
fact4 & fact7 -> int1: ぷなぷのLv.12事件が起きる; int1 & fact3 -> int2: 「つれないということが起きるしその上ぷなぷのLv.12事件が生じる」ということは確かである; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis; __PROVED__