「恐ろしいということと刺々しいということ両方が生じる」ということは間違いである
fact1: 刺々しいということが生じる fact2: もし仮に「浅いということではなくて思い易いということが起こる」ということは成り立たないなら恐ろしいということが発生する fact3: もし易しいということは生じないとしたら「浅いということではなく思い易いということが起こる」ということは偽である fact4: がなることとぴにゃぴゆLv.1事件両方が起きる fact5: 「がなることが起きるししかもぴにゃぴゆLv.1事件が起こる」ということは易しいということを防ぐ
fact5 & fact4 -> int1: 易しいということは起こらない; fact3 & int1 -> int2: 「浅いということは発生しないけれど思い易いということが生じる」ということは成り立つということはない; int2 & fact2 -> int3: 恐ろしいということが生じる; int3 & fact1 -> hypothesis;
fact5 & fact4 -> int1: ¬{A}; fact3 & int1 -> int2: ¬(¬{AA} & {AB}); int2 & fact2 -> int3: {B}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 刺々しいということが生じる fact2: もし仮に「浅いということではなくて思い易いということが起こる」ということは成り立たないなら恐ろしいということが発生する fact3: もし易しいということは生じないとしたら「浅いということではなく思い易いということが起こる」ということは偽である fact4: がなることとぴにゃぴゆLv.1事件両方が起きる fact5: 「がなることが起きるししかもぴにゃぴゆLv.1事件が起こる」ということは易しいということを防ぐ ; $hypothesis$ = 「恐ろしいということと刺々しいということ両方が生じる」ということは間違いである ; $proof$ = 
fact5 & fact4 -> int1: 易しいということは起こらない; fact3 & int1 -> int2: 「浅いということは発生しないけれど思い易いということが生じる」ということは成り立つということはない; int2 & fact2 -> int3: 恐ろしいということが生じる; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: ¬{A}; fact3 & int1 -> int2: ¬(¬{AA} & {AB}); int2 & fact2 -> int3: {B}; int3 & fact1 -> hypothesis; __DISPROVED__