手痛いということは起きない
fact1: 判別し易いということは「行われ易いということは生じない」ということを阻止する fact2: 有るらしいということが起こる fact3: 組み合わさることが起きる fact4: 白々しいということと用い易いということ両方が発生する fact5: 冷え易いということが起こる fact6: 歌舞伎っぽいということは発生しないということは用い易いということに防がれる fact7: 「ぷくぷいLv.73事件は起きない」ということは白々しいということが生じるということに阻止される fact8: 手痛いということは歌舞伎っぽいということと組み合わさることが生じるに防がれる
fact4 -> int1: 用い易いということが生じる; int1 & fact6 -> int2: 歌舞伎っぽいということが発生する; int2 & fact3 -> int3: 歌舞伎っぽいということが発生するし組み合わさることが生じる; int3 & fact8 -> hypothesis;
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact8 -> hypothesis;
ぷくぷいLv.73事件が起こる
$facts$ = fact1: 判別し易いということは「行われ易いということは生じない」ということを阻止する fact2: 有るらしいということが起こる fact3: 組み合わさることが起きる fact4: 白々しいということと用い易いということ両方が発生する fact5: 冷え易いということが起こる fact6: 歌舞伎っぽいということは発生しないということは用い易いということに防がれる fact7: 「ぷくぷいLv.73事件は起きない」ということは白々しいということが生じるということに阻止される fact8: 手痛いということは歌舞伎っぽいということと組み合わさることが生じるに防がれる ; $hypothesis$ = 手痛いということは起きない ; $proof$ = 
fact4 -> int1: 用い易いということが生じる; int1 & fact6 -> int2: 歌舞伎っぽいということが発生する; int2 & fact3 -> int3: 歌舞伎っぽいということが発生するし組み合わさることが生じる; int3 & fact8 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact8 -> hypothesis; __PROVED__