難しいということが発生する
fact1: もし取れ易いということは発生しないとすると「支障無いということは発生するけれどぴくぴちょLv.21事件は生じない」ということは嘘である fact2: 取れ易いということは発生しないということは「味気ないということは生じないしぷにゅぷよLv.23事件が起きる」ということに誘発される fact3: 支障無いということが起こるということは取れ易いということは起きないということを阻止する fact4: 「ぴくぴちょLv.21事件が起こる」ということは確かである fact5: 取れ易いということは難しいということを誘発する fact6: ぽねぽなLv.4事件が起こる fact7: 禍々しいということが起きるということはみちゃみにょLv.27事件に繋がる fact8: 「ぴくぴちょLv.21事件は支障無いということを誘発する」ということは真実だ
fact8 & fact4 -> int1: 「支障無いということが生じる」ということは確かだ; int1 & fact3 -> int2: 「取れ易いということが起こる」ということは本当である; int2 & fact5 -> hypothesis;
fact8 & fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> hypothesis;
「難しいということは起こらない」ということは事実だ
$facts$ = fact1: もし取れ易いということは発生しないとすると「支障無いということは発生するけれどぴくぴちょLv.21事件は生じない」ということは嘘である fact2: 取れ易いということは発生しないということは「味気ないということは生じないしぷにゅぷよLv.23事件が起きる」ということに誘発される fact3: 支障無いということが起こるということは取れ易いということは起きないということを阻止する fact4: 「ぴくぴちょLv.21事件が起こる」ということは確かである fact5: 取れ易いということは難しいということを誘発する fact6: ぽねぽなLv.4事件が起こる fact7: 禍々しいということが起きるということはみちゃみにょLv.27事件に繋がる fact8: 「ぴくぴちょLv.21事件は支障無いということを誘発する」ということは真実だ ; $hypothesis$ = 難しいということが発生する ; $proof$ = 
fact8 & fact4 -> int1: 「支障無いということが生じる」ということは確かだ; int1 & fact3 -> int2: 「取れ易いということが起こる」ということは本当である; int2 & fact5 -> hypothesis; __PROVED__
fact8 & fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__