近いということが起こる
fact1: ぴにゃぴわLv.90事件は「腫れぼったいということは起こらない」ということを回避する fact2: 「大人しいということおよび地下深いということ両方ともが発生する」ということは「イメージし易いということは発生しない」ということを招く fact3: 腫れぼったいということが生じる fact4: 地下深いということが発生する fact5: 大人しいということが起きる fact6: ぴにゃぴわLv.90事件は「腫れぼったいということが起こるし近いということは生じない」ということに帰結する fact7: ぴにゃぴわLv.90事件が起こるということはイメージし易いということは発生しないということに由来する
fact5 & fact4 -> int1: 大人しいということが生じるし加えて地下深いということが生じる; int1 & fact2 -> int2: イメージし易いということは発生しない; int2 & fact7 -> int3: ぴにゃぴわLv.90事件が生じる; int3 & fact6 -> int4: 腫れぼったいということが起きるけど近いということは起きない; int4 -> hypothesis;
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> int3: {D}; int3 & fact6 -> int4: ({E} & ¬{F}); int4 -> hypothesis;
$facts$ = fact1: ぴにゃぴわLv.90事件は「腫れぼったいということは起こらない」ということを回避する fact2: 「大人しいということおよび地下深いということ両方ともが発生する」ということは「イメージし易いということは発生しない」ということを招く fact3: 腫れぼったいということが生じる fact4: 地下深いということが発生する fact5: 大人しいということが起きる fact6: ぴにゃぴわLv.90事件は「腫れぼったいということが起こるし近いということは生じない」ということに帰結する fact7: ぴにゃぴわLv.90事件が起こるということはイメージし易いということは発生しないということに由来する ; $hypothesis$ = 近いということが起こる ; $proof$ = 
fact5 & fact4 -> int1: 大人しいということが生じるし加えて地下深いということが生じる; int1 & fact2 -> int2: イメージし易いということは発生しない; int2 & fact7 -> int3: ぴにゃぴわLv.90事件が生じる; int3 & fact6 -> int4: 腫れぼったいということが起きるけど近いということは起きない; int4 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> int3: {D}; int3 & fact6 -> int4: ({E} & ¬{F}); int4 -> hypothesis; __DISPROVED__