囁き掛けることは生じないしさらに働き易いということは生じない
fact1: 忌まわしいということが起こる fact2: ぷにゅぷちょLv.23事件と物悲しいということが発生する fact3: 仮に働き易いということは起こらないとすれば囁き掛けることは発生しないし働き易いということは発生しない fact4: 「忌まわしいということおよびぷにゅぷちょLv.23事件が起こる」ということはぴのぴちょLv.46事件を回避する fact5: 「働き易いということは発生しない」ということは「ぴのぴちょLv.46事件は発生しない」ということにより生じる
fact2 -> int1: ぷにゅぷちょLv.23事件が起こる; int1 & fact1 -> int2: 忌まわしいということは発生するしぷにゅぷちょLv.23事件は発生する; int2 & fact4 -> int3: ぴのぴちょLv.46事件は生じない; int3 & fact5 -> int4: 働き易いということは起きない; int4 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; int3 & fact5 -> int4: ¬{E}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 忌まわしいということが起こる fact2: ぷにゅぷちょLv.23事件と物悲しいということが発生する fact3: 仮に働き易いということは起こらないとすれば囁き掛けることは発生しないし働き易いということは発生しない fact4: 「忌まわしいということおよびぷにゅぷちょLv.23事件が起こる」ということはぴのぴちょLv.46事件を回避する fact5: 「働き易いということは発生しない」ということは「ぴのぴちょLv.46事件は発生しない」ということにより生じる ; $hypothesis$ = 囁き掛けることは生じないしさらに働き易いということは生じない ; $proof$ = 
fact2 -> int1: ぷにゅぷちょLv.23事件が起こる; int1 & fact1 -> int2: 忌まわしいということは発生するしぷにゅぷちょLv.23事件は発生する; int2 & fact4 -> int3: ぴのぴちょLv.46事件は生じない; int3 & fact5 -> int4: 働き易いということは起きない; int4 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; int3 & fact5 -> int4: ¬{E}; int4 & fact3 -> hypothesis; __PROVED__