切り易いということが生じるかもしくはイメージし易いということが発生する
fact1: 「仮に切り易いということは起こらないとすると「切り易いということが起こるかまたはイメージし易いということが生じる」ということは誤りである」ということは成り立つ fact2: もし「予算化することが起きるがしかし切り易いということは発生しない」ということは偽であるとすれば切り易いということが発生する fact3: 弁解がましいということが起きる fact4: 「ぽわぽえLv.35事件および予算化することが起こる」ということは弁解がましいということは生じないということが原因だ fact5: 「予算化することが生じる」ということは確かである fact6: 予算化することおよび弁解がましいということが起こるとすると切り易いということは起こらない
fact5 & fact3 -> int1: 予算化することおよび弁解がましいということが起きる; int1 & fact6 -> int2: 「切り易いということは起こらない」ということは事実だ; int2 & fact1 -> hypothesis;
fact5 & fact3 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
切り易いということが生じるかもしくはイメージし易いということが発生する
$facts$ = fact1: 「仮に切り易いということは起こらないとすると「切り易いということが起こるかまたはイメージし易いということが生じる」ということは誤りである」ということは成り立つ fact2: もし「予算化することが起きるがしかし切り易いということは発生しない」ということは偽であるとすれば切り易いということが発生する fact3: 弁解がましいということが起きる fact4: 「ぽわぽえLv.35事件および予算化することが起こる」ということは弁解がましいということは生じないということが原因だ fact5: 「予算化することが生じる」ということは確かである fact6: 予算化することおよび弁解がましいということが起こるとすると切り易いということは起こらない ; $hypothesis$ = 切り易いということが生じるかもしくはイメージし易いということが発生する ; $proof$ = 
fact5 & fact3 -> int1: 予算化することおよび弁解がましいということが起きる; int1 & fact6 -> int2: 「切り易いということは起こらない」ということは事実だ; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __DISPROVED__