「漏れ無いということは生じない」ということは事実だ
fact1: 速断することが発生する fact2: 液化することが生じる fact3: ものもえLv.23事件が起きる fact4: 速断することは面白いということをもたらす fact5: ぶっといということおよび表現し難いということが起きるは「近しいということが生じる」ということを防ぐ fact6: 「液化することが起こるし加えて面白いということが起きる」ということは漏れ無いということは発生しないということを招く fact7: 「行儀良いということは起きない」ということは「ぽやぽにょLv.91事件および範囲指定することどちらもが起こる」ということにもたらされる fact8: ぽにょぽやLv.52事件と遣り難いということ両方ともが発生する
fact4 & fact1 -> int1: 面白いということが生じる; int1 & fact2 -> int2: 液化することと面白いということどちらもが起きる; int2 & fact6 -> hypothesis;
fact4 & fact1 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact6 -> hypothesis;
$facts$ = fact1: 速断することが発生する fact2: 液化することが生じる fact3: ものもえLv.23事件が起きる fact4: 速断することは面白いということをもたらす fact5: ぶっといということおよび表現し難いということが起きるは「近しいということが生じる」ということを防ぐ fact6: 「液化することが起こるし加えて面白いということが起きる」ということは漏れ無いということは発生しないということを招く fact7: 「行儀良いということは起きない」ということは「ぽやぽにょLv.91事件および範囲指定することどちらもが起こる」ということにもたらされる fact8: ぽにょぽやLv.52事件と遣り難いということ両方ともが発生する ; $hypothesis$ = 「漏れ無いということは生じない」ということは事実だ ; $proof$ = 
fact4 & fact1 -> int1: 面白いということが生じる; int1 & fact2 -> int2: 液化することと面白いということどちらもが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact6 -> hypothesis; __PROVED__