「「扱い難いということではなくて御し易いということが発生する」ということは成り立つ」ということは成り立つということはない
fact1: 仮にべた付き易いということは起こらないなら「役らしいということと扱い難いということが生じる」ということは誤っている fact2: もし仮に「役らしいということおよび扱い難いということが起きる」ということは誤りであるとしたら扱い難いということは発生しない fact3: もしも「行き易いということが発生するし更に狡っ辛いということが生じる」ということは間違っていればべた付き易いということは起きない fact4: 「役らしいということが起こるしおまけにべた付き易いということが起きる」ということは「誤解し易いということは起きない」ということに帰結する fact5: 仮に誤解し易いということは発生しないとすれば「扱い難いということは生じないが御し易いということが起こる」ということは成り立たない fact6: 素っ気ないということと負担することどちらもが発生する fact7: 素っ気ないということはべた付き易いということをもたらす fact8: 役らしいということが起こる
fact6 -> int1: 「素っ気ないということが生じる」ということは事実だ; int1 & fact7 -> int2: べた付き易いということが生じる; int2 & fact8 -> int3: 役らしいということとべた付き易いということが生じる; int3 & fact4 -> int4: 誤解し易いということは生じない; int4 & fact5 -> hypothesis;
fact6 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact8 -> int3: ({D} & {C}); int3 & fact4 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
扱い難いということではなく御し易いということが生じる
$facts$ = fact1: 仮にべた付き易いということは起こらないなら「役らしいということと扱い難いということが生じる」ということは誤っている fact2: もし仮に「役らしいということおよび扱い難いということが起きる」ということは誤りであるとしたら扱い難いということは発生しない fact3: もしも「行き易いということが発生するし更に狡っ辛いということが生じる」ということは間違っていればべた付き易いということは起きない fact4: 「役らしいということが起こるしおまけにべた付き易いということが起きる」ということは「誤解し易いということは起きない」ということに帰結する fact5: 仮に誤解し易いということは発生しないとすれば「扱い難いということは生じないが御し易いということが起こる」ということは成り立たない fact6: 素っ気ないということと負担することどちらもが発生する fact7: 素っ気ないということはべた付き易いということをもたらす fact8: 役らしいということが起こる ; $hypothesis$ = 「「扱い難いということではなくて御し易いということが発生する」ということは成り立つ」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: 「素っ気ないということが生じる」ということは事実だ; int1 & fact7 -> int2: べた付き易いということが生じる; int2 & fact8 -> int3: 役らしいということとべた付き易いということが生じる; int3 & fact4 -> int4: 誤解し易いということは生じない; int4 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact8 -> int3: ({D} & {C}); int3 & fact4 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __PROVED__